Method and system for modeling cellular metabolism

ABSTRACT

This invention relates to methods and systems for in silico or bioinformatic modeling of cellular metabolism. The invention includes methods and systems for modeling cellular metabolism of an organism, comprising constructing a flux balance analysis model, and applying constraints to the flux balance analysis model, the constraints selected from the set consisting of: qualitative kinetic information constraints, qualitative regulatory information constraints, and differential DNA microarray experimental data constraints. In addition, the present invention provides for computational procedures for solving metabolic problems.

PRIORITY STATEMENT

This application claims benefit of Provisional Patent Application No. 60/260,713 filed Jan. 10, 2001 and Provisional Patent Application No. 60/278,535 filed Mar. 23, 2001, both of which are herein incorporated by reference in their entirety.

FIELD OF THE INVENTION

This invention relates to methods and systems for in silico or bioinformatic modeling of cellular metabolism. More specifically, although not exclusively, this invention relates to a framework of models and methods that improve upon flux balance analysis (FBA) models through incorporation of particular constraints. These constraints incorporate, without limitation, qualitative kinetic information, qualitative regulatory information, and/or DNA microarray experimental data. Further, the present invention relates to solving various metabolic problems using particular computational procedures.

BACKGROUND OF THE INVENTION

Metabolic pathway engineering has attracted significant interest in recent years catalyzed by the rapidly increasing number of sequenced microbial genes. As of January 2001, over fifty microbial genomes were completely sequenced. Bioinformatic tools have allowed the functional assignment of 45 to 80% of their coding regions. E. Pennisi, Science 277, 1432 (1997). This newly acquired information is used in conjunction with microbial mathematical models to calculate the response of metabolic networks after gene knockouts or additions. For example, such information was used to increase ethanol production in metabolically engineered E. coli cells. V. Hatzimanikatis, et al., Biotechnol. Bioeng. 58, 154 (1998).

In general, mathematical models of cellular metabolism fall into two distinct categories, ones that incorporate kinetic and regulatory information and others that include only the stoichiometry of the reaction pathways. The first class of models matches cellular behavior at an original steady state and then employs kinetic and regulatory relations to examine how the cell behaves away from this steady state in the presence of small perturbations brought about by environmental changes or enzyme engineering. The key advantage of this first class of methods is that upon application a unique point in the metabolite flux space is identified. The disadvantage is that the required kinetic parameters are difficult to estimate and their accuracy and reproducibility may deteriorate rapidly as the system moves far away from the original steady-state.

The second class of models, flux balance analyses, utilizes only the stoichiometric mass balances of the metabolic network and cellular composition information, in the absence of detailed kinetic and thermodynamic data, to identify boundaries for the flux distributions available to the cell. Although microorganisms have evolved highly complex control structures that eventually collapse these available boundaries into single points, flux balance models are still valuable in setting upper bounds for performance targets and in identifying “ideal” flux distributions.

However, the versatility of flux balance analysis comes at the expense of unknowingly crossing kinetic or regulatory flux barriers. Flux balance model predictions must thus be cautiously interpreted as “ideal” flux distributions yielding upper bounds to the performance of the metabolic network. The key advantage of flux balance models is that, by not requiring any numerical values for kinetic parameters or regulatory loops, they are straightforward to compile. The key disadvantage is that the obtained stoichiometric boundaries can be very wide and it is hard to envision that the biomass maximization conjecture, while useful under certain conditions, is generally applicable.

It is therefore a primary object of the present invention to provide a method and system that improves upon the state of the art.

It is a further object of the present invention to provide a method and system that provides a framework for improving upon flux balance analysis models.

It is a still further object of the present invention to provide a method and system that allows the predictive capabilities of flux balance analysis models to be enhanced.

Another object of the present invention is to provide a method and system that incorporates qualitative kinetic and/or regulatory information into a flux balance analysis model.

Yet another object of the present invention is to provide a method and system that incorporates differential DNA microarray experimental data into a flux balance analysis model.

A further object of the present invention is to provide an improved method and system for determining minimal reaction sets for growth.

Another object of the present invention is to provide an improved method and system for determining the effect of environmental conditions on minimal reaction sets.

It is another object of the present invention to provide a method for calculating the response of metabolic networks after gene knockouts or additions.

A still further object of the present invention is to provide a method and system for selecting mathematically optimal genes for recombination.

Another object of the present invention is to provide a method and system for identifying lethal gene deletions.

Yet another object of the present invention is to provide a method and system for identifying gene therapeutic candidates for pathogenic microbes.

A still further object of the present invention is to provide a method and system capable of testing hypotheses or objective functions.

These and other objects, features and/or advantages of the present invention will become apparent from the specification and claims.

SUMMARY OF THE INVENTION

This invention includes a framework for in silico or bioinformatic modeling of cellular metabolism. The framework allows for an improvement to FBA models through incorporation of particular constraints. Preferably, these constraints are logic constraints that can be represented with binary variables. The framework provides for applying computational procedures in order to solve for model predictions. The model can be used to determine: how many and which foreign genes should be recombined into an existing metabolic network; which regulatory loops should be activated or inactivated so that a given metabolic target is optimized; how robust is a metabolic network to gene deletion; what is the mathematically minimal set of genes capable of meeting certain growth demands for a given uptake environment; whether experimental flux data, under different substrates and carbon/oxygen uptake rates, are consistent with different hypothesized objective functions; and other metabolic problems. The results obtained from use of this framework can be applied in a number of areas of research or commercial interest related to metabolic engineering, including areas in the biological, chemical, pharmaceutical, life sciences, and medical fields.

BRIEF DESCRIPTION OF THE DRAWINGS

FIG. 1 is a block diagram showing an overview of the present invention.

FIG. 2 is a diagram of multiple objective function slopes consistent with the same optimum point.

FIG. 3 is a set of feasible objectives for different conditions.

FIG. 4 is a pictorial representation of stoichiometric boundaries, kinetic/regulatory barriers and a new optimal steady state.

FIG. 5 is a diagram of a simple network showing the application of logic constraints.

FIG. 6 is a diagram of two parts of a metabolic network where bottlenecks are identified.

FIG. 7 is a logarithmic plot of probability of flux/transcript ratio agreement versus transcript ratio.

FIG. 8 is a plot of minimum acetate uptake rate versus α for a 0.3 hr⁻¹ growth rate.

FIG. 9 is a table of model predictions for maximum theoretical yields of seven amino acids for growth on glucose and acetate.

FIG. 10 is a diagram showing the pathway modifications introduced in a recombined network for growth on glucose. FIG. 10 shows the difference between optimal E. coli and Universal arginine production pathways for growth on glucose, including (a) the pyrophosphate dependent analog of 6-phosphofructokinase in the Universal model replacing the ATP dependent version present in E. coli; and (b) carbamate kinase in the Universal model replacing carbamoyl phosphate synthetase from the E. coli network.

FIG. 11 is a graph showing the size of minimal reaction networks as a function of imposed growth rate for (a) growth on only glucose and (b) growth on a medium allowing for the uptake of any organic compound with a corresponding transport reaction.

FIG. 12 is a table showing modifications to the Pramanik and Keasling model.

FIG. 13 is a graph showing gene knockouts at various biomass production levels for growth on glucose.

FIG. 14 is a table showing genes selected for removal by knockout study.

FIG. 15 is a table showing model selections of enzymatic reactions that will enhance the amino acid production capabilities of E. coli.

FIG. 16 illustrates optimal E. coli and Universal arginine production pathways for growth on glucose. The utilization of carbamate kinase and the pyrophosphate dependent analog of 6-phosphofructokinase by the Universal arginine production pathway preserves a net of 3 ATP phosphoanhydride bonds.

FIG. 17 illustrates optimal E. coli and Universal arginine production pathways for growth on acetate. The incorporation of carbamate kinase and the pyrophosphate dependent analog of acetate kinase by the Universal pathway saves 3 ATP phosphoanhydride bonds.

FIG. 18 illustrates optimal asparagine production pathways for two modes of glucose utilization: glucokinase and the phosphotransferase system.

FIG. 19 illustrates an optimal Universal asparagine production pathway for growth on glucose. the Universal pathway conserves the equivalent of 1 ATP bond by using an ADP-forming aspartate-ammonia ligase instead of an AMP-forming version as shown in the previous figure.

FIG. 20 illustrates optimal E. coli and Universal histidine production pathways for growth on acetate. Both the energy efficiency (2 ATP's) and carbon conversion efficiency of the Universal pathway are improved by the incorporation of a pyrophosphate dependent analog of PEP carboxykinase and glycine dehydrogenase, respectively.

FIG. 21 is a graph of a number of reactions in each minimal set as a function of the imposed growth demands for a glucose or acetate-only uptake environment.

FIG. 22 is a table showing evolution of minimal reaction sets under decreasing growth conditions.

FIG. 23 is a table showing metabolites uptaken or secreted at each target growth rate on an optimally engineered medium.

FIGS. 24 and 25 are graphs of a number of reactions in each minimal set as a function of the imposed growth demands for an uptake environments allowing multiple organic uptakes.

FIG. 26 is a table showing evolution of minimal reaction sets for a second set under decreasing growth requirements.

FIG. 27 is a table showing functional classification of minimal network reactions for growth on an optimally engineered medium.

FIG. 28 is a table showing a comparison of minimal metabolic gene/reaction sets based on functional classification.

DETAILED DESCRIPTION OF THE INVENTION

1. Overview

FIG. 1 illustrates the framework of the present invention. This framework improves upon flux balance analysis (FBA) models through incorporation of particular constraints. These constraints incorporate, without limitation, qualitative kinetic information, qualitative regulatory information, and/or DNA microarray experimental data. Preferably, these constraints are logic constraints that can be represented with binary variables. The invention also provides for including computation procedures such as mixed-integer linear programming into the framework in order to use the model to arrive at a solution. As shown in FIG. 1, the model provides for determining metabolic performance/robustness in the face of gene additions or deletions. In addition the model provides for testing whether experimental flux data, under different substrates and carbon/oxygen uptake rates are consistent with different hypothesized objective functions.

The present invention involves a process for tightening the flux boundaries derived through flux balance models and subsequently probing the performance limits of metabolic networks in the presence of gene additions or deletions. Given the large number of genes (hundreds to thousands) available for recombination, present optimization formulations reach and sometimes exceed the limit of what can be solved with state of the art mixed-integer linear programming solvers. The present invention meets the dual objectives of constructing modeling formulations that enable an effective query of the performance limits of metabolic networks and provide customized techniques for solving the resulting mixed-integer linear programming problems.

2. Objective Function Hypothesis Testing

The present invention provides for an unbiased, mathematically rigorous framework for testing whether experimental flux data, under different substrates and carbon/oxygen uptake rates, are consistent with different hypothesized objective functions. A. Varma and B. O. Palsson, Bio/Technology 12, 994 (1994); R. A. Majewski and M. M. Domach, Biotechnol. Bioeng. 35, 732 (1990). Rather than starting by postulating such an objective function, or even accepting that there exists an objective function governing cellular behavior, the quantitative framework of the present invention is based on inverse optimization that enables researchers to test, disprove or fine tune the consistency of different hypotheses. Note that while one can never prove the existence of such an objective function, the framework is useful for rigorously testing whether experimental data is consistent or inconsistent with a postulated objective function and how this may change under different environmental conditions.

Inverse optimization concepts that were pioneered in geophysics for the identification of model parameters for systems reaching optimality given a set of observables are applied here. Specifically, the present invention provides for finding the coefficients c_(j) in a hypothesized linear objective function Σ_(j) c_(j)ν_(j) that are consistent with the subset of observed fluxes ν*_(j) (e.g., substrate/oxygen uptakes, growth rate, etc.). In general, not single but rather a range of values for the coefficients c_(j) are consistent with a set of observed fluxes. This is illustrated with FIG. 2A in two dimensions.

Any objective function c₁ν₁+c₂ν₂ whose slope (−c₂/c₁) is between values a and b is consistent with the optimality of point A. This gives rise to the range of values for c₁ and c₂ denoted by the line segment between points B and C shown in FIG. 2B that are consistent with the optimality of point A. Note that c₁ and c₂ were scaled so that c₁+c₂=1. In the general n dimensional case, the set of c_(j) values in compliance with an optimum ν*_(j) forms a polytope.

The general problem is addressed using the ideas introduced by Ahuja and Orlin (2001). R. K. Ahuja, et al, Network Flows, Theory Algorithms, and Applications, Prentice Hall, Englewood Cliffs, N.J. 1993. Given an observed subset of fluxes ν*_(j), the set of objective function coefficients c_(j) can be determined by finding all multiple optimal solutions of the restricted dual feasibility problem solved in the space of dual variables α₁ and the linear objective function coefficients c_(j).

The dual variables α_(i) quantify the relative importance of a metabolite i towards improving the objective function. The solution of the restricted dual problem systematically characterizes the set of all possible c_(j) values consistent with a subset of observed fluxes ν*_(j). These alternate optimal solutions can be obtained as a byproduct of the simplex method since any basic feasible solution from the simplex tableau defines a vertex of the polytope formed in the c_(j) space. An alternate method using integer cuts can also be employed. S. Lee, et al., Comput. Chem. Eng. 24, 711 (2000). The present invention contemplates that with these techniques a determination can be made as to whether the polytopes overlap considerably (see FIG. 3A) or migrate systematically (see FIG. 3B) as the as the substrate choice or uptake rate of carbon/oxygen changes. This set of quantitative tools provides an unbiased framework for researchers to test the range of validity (if any) of different hypotheses.

3. Kinetic/regulatory Logic Constraints

Flux balance models, by relying solely on stoichiometric balances and uptake rates, are guaranteed not to exclude any feasible flux distributions. However, this versatility may lead to overly optimistic expectations if the results are not interpreted properly. The flux distributions within the cell are ultimately uniquely determined by the regulatory mechanisms within the cell, the kinetic characteristics of cellular enzymes, and the expression of these enzymes. Assuming cells operate in a stoichiometrically optimal fashion may yield metabolic flux distributions not available to the cell. The present invention provides for multiple methods for tightening the predicted stoichiometric flux boundaries by FBA models. A first strategy involves attempting to ensure that flux changes identified through FBA are consistent, in a qualitative sense, with the kinetics and regulatory loops of the metabolic network. By uncovering unreachable domains within the stoichiometric flux boundaries the predictive capabilities are improved. A second strategy entails incorporating experimentally obtained data into the FBA model. The present invention includes a mathematically sound framework for superimposing DNA array differential expression data into FBA models.

3.1 Kinetic and Regulatory Loop Consistency

The key question addressed here is whether the optimal flux distributions predicted by the FBA models are reachable by the cell or whether kinetic and/or regulatory boundaries will prohibit the system from reaching the stoichiometric boundaries (see FIG. 4).

The key idea we propose to explore is to ensure, by using logic relations, that when, in response to environmental changes, the metabolic network shifts from one steady-state to another, up or down changes in metabolite concentrations are consistent with up or down changes in reaction fluxes.

Specifically (see FIG. 5), flux ν can increase, in the absence of enzyme engineering, only if the concentration C_(A) of reactant A or the concentration C_(D) of activator D increase or the concentration C_(E) of inhibitor E decreases. Clearly, changes in the reaction fluxes and metabolite concentrations are coupled and even in the absence of detailed quantitative kinetic/regulatory information binding relations can be derived based on the direction of these changes. One such set of relations is described in detail below.

Specifically, for any reaction flux ν_(j) to increase above an initial base case value ν^(o) _(j), either the concentration of a reactant must increase, or the concentration of an activator must increase, or the concentration of an inhibitor must decrease and vice versa. Incorporating these logic constraints into the FBA framework, requires first a regulation matrix F to be established describing the effect of metabolite i on reaction j.

$F_{ij} = \left\{ \begin{matrix} {1} & {{if}\mspace{14mu}{metabolite}\mspace{14mu} i\mspace{14mu}{activates}\mspace{14mu}{reaction}\mspace{14mu} j} \\ {- 1} & {{if}\mspace{14mu}{metabolite}\mspace{14mu} i\mspace{14mu}{{inhibit}s}\mspace{14mu}{reaction}\mspace{14mu} j} \\ {0} & {{if}\mspace{14mu}{metabolite}\mspace{14mu} i\mspace{14mu}{has}\mspace{14mu}{no}\mspace{14mu}{effect}\mspace{14mu}{on}\mspace{14mu}{reaction}\mspace{14mu} j} \end{matrix} \right.$

Such a regulation matrix can be constructed based on information from the EcoCyc and MetaCyc databases. P. D. Karp, et al., Nucleic Acids Res. 28, 55 (2000). Additional database resources exist also for non-E. coli reactions. M. Kanehisa and S. Goto, S., Nucleic Acids Res. 28, 29 (2000). Two sets of 0-1 variables x_(i) and z_(j) are introduced to track up or down movements in metabolite concentrations and reaction fluxes respectively.

$x_{i} = \left\{ {{\begin{matrix} 1 & {{if}\mspace{14mu}{the}\mspace{14mu}{concentration}\mspace{14mu}{of}\mspace{14mu}{metabolite}\mspace{14mu} i\mspace{14mu}{rises}} \\ 0 & {otherwise} \end{matrix}z_{j}} = \left\{ \begin{matrix} 1 & {{if}\mspace{14mu}{reaction}\mspace{14mu}{flux}\mspace{14mu} j\mspace{14mu}{increases}\mspace{14mu}{above}\mspace{14mu}{original}\mspace{14mu}{steady}\text{-}{state}\mspace{14mu}{value}} \\ 0 & {otherwise} \end{matrix} \right.} \right.$

By utilizing these 0-1 variables, we incorporate the following logic constraints into the FBA model for safeguarding against the violation of some of the kinetic and regulatory barriers.

$\begin{matrix} {{{{- \left( {1 - z_{j}} \right)}v_{j}^{\max}} + v_{j}^{o}} \leq v_{j} \leq {v_{j}^{o} + {v_{j}^{\max}z_{j}}}} & (1) \\ {{{{\sum\limits_{i:{S_{ij} < 0}}x_{i}} + {\sum\limits_{{i.F_{ij}} = 1}x_{i}} + {\sum\limits_{{i.F_{ij}} = {- 1}}\left( {1 - x_{i}} \right)}} \geq z_{j}},{\forall j}} & (2) \\ {{{{\sum\limits_{{iS}_{ij} < 0}\left( {1 - x_{i}} \right)} + {\sum\limits_{{iF}_{ij} = 1}{x_{i}\left( {1 - x_{i}} \right)}} + {\sum\limits_{{iF}_{ij} = {- 1}}x_{i}}} \geq {1 - z_{j}}},{\forall j}} & (3) \end{matrix}$

Relation (1) ensures that ν_(j)>ν^(o) _(j) when z_(j)=1 as well as ν_(j)<ν^(o) _(j) when z_(j)=0. Constraint (2) ensures that the concentration of a reactant must increase, the concentration of an activitor must increase, or the concentration of an inhibitor must decrease for a reaction flux ν_(j) to increase above its initial base case value v^(o) _(j). The last constraint (3) ensures that the concentration of a reactant must decrease, the concentration of an activator must decrease, or the concentration of an inhibitor must increase for a reaction flux ν_(j) to decrease below the initial base case value. Revisiting the example of FIG. 3 constraints (2) and (3) for flux ν yield x _(A) +x _(D)+(1−x _(E))≧z ₁, and (1−x _(A))+(1−x _(D))+x _(E)≧1−z ₁

Preliminary work on the alanine overproduction pathway for growth on glucose identified kinetic and regulatory bottlenecks that were not detectable by simple FBA models.

The first step in this analysis was to obtain the initial base case values for the reaction fluxes. These were obtained by solving the LP problem for maximum biomass formation. The second step was to solve a second LP problem constraining the biomass production to 80% of its optimal value and allowing for the overproduction of alanine. The third step involved resolving the second step scenario with the incorporation of the kinetic and regulatory logic constraints described above. This study revealed that the overproduction of alanine (2.688 mmol/10 mmol GLC) subject to regulation is about 20% less than the value predicted by the FBA model (3.298 mmol/10 mmol GLC) without the logic based regulatory constraints. More important than being able to identify this reduction is the capability to pinpoint specific flux bottlenecks. Analysis of the reaction fluxes revealed two potential bottlenecks limiting the performance of the network (see FIG. 6).

The first bottleneck (FIG. 6A) arises because in addition to the pentose phosphate pathway reactions, ribulose-5-phosphate (RL5P) is also a precursor to lyposaccharide (LPS) which is a component of biomass. Under less than optimal growth demands, the reaction flux from RL5P to biomass must decrease below its base case value. Thus the concentration of RL5P must decrease (only regulator). Therefore, the flux through ribulose phosphate 3-epimerase cannot increase above its base case value because the concentration of the reactant RL5P is decreasing. This diverts additional flux through the ribose-5-phosphate isomerase reaction. The second bottleneck (FIG. 6B) occurs because during alanine overproduction, more flux must pass through pyruvate kinase than under maximum growth conditions. In this study, at the base case, the FBA model chose pyruvate kinase II which is one of the two isoenzymes of pyruvate kinase. However, the flux through pyruvate kinase II cannot increase above its base case value because the concentration of both its activator (AMP) and its reactants are decreasing. The FBA model including regulation partially circumvented this barrier by increasing the flux through pyruvate kinase I since the concentration of an activator (FDP) of this reaction is increasing. This example suggests that the logic constraints, by capturing some kinetic and regulatory information, are capable of identifying at least some of the bottlenecks undetectable by simple FBA models without excluding any feasible flux distributions. Identifying these key fluxes as described above and then engineering the enzymes and regulation around them provides a straightforward debottlenecking strategy. The present invention contemplates that one skilled in the art and having the benefit of this disclosure can construct additional logic constraints in the spirit of the ones described above to further “tighten” the predictions of flux balance models.

4. Differential DNA Microarray Constraints

In addition to using qualitative kinetic and/or qualitative regulatory information to define logic constraints for enhancing the predictive capabilities of flux balance models, the present invention provides for defining constraints based on experimental differential DNA microarray data. The recent development of DNA microarray technology has started to revolutionize the investigation of cellular global regulation on the whole genome scale. DNA microarrays enable the determination of differential transcription profiles, consisting of the relative expression levels of individual genes under various experimental conditions. This allows one to infer which genes are up-regulated or down-regulated as an organism responds to external environmental changes. Already such studies have been initiated for S. cerevisiae (L. Wodicka, et al., Nat Biotechnol. 15(13), 1359 (1997)) and E. coli. C. S. Richmond, et al., Nucleic Acids Res. 27(19), 3821 (1999). The output of such experiments is typically a set of gene transcript levels normalized with respect to an original steady-state. For example, the differential transcript levels of 111 genes, involved in central metabolism and key biosyntheses, have been measured for an E. coli strain grown on either a glycerol or acetate medium relative to a glucose reference condition. M. K. Oh & J. C. Liao, Biotechnol. Prog. 16(2), 278 (2000). Thus, a transcript level of 1.5 for a gene in the E. coli strain grown on acetate indicates that this gene is up-regulated by 50% during growth on acetate as compared to growth on glucose. Although this methodology cannot detect any translational or post-translational genetic regulation, with a few exceptions, the transcriptional regulation is the main mode of regulation at least in E. coli.

The key challenge is that at present transcript levels cannot be used to infer quantitative changes in the corresponding flux levels. Instead, at best only a qualitative statistical correlation between changes in fluxes and transcript levels can be drawn. Based on a qualitative linking between fluxes and transcript levels, the present invention uses 0-1 variables to capture these trends. Let T^(i) _(j) denote the normalized transcript level of gene coding for enzyme catalyzing reaction j upon the environmental change l. A value greater than one implies overexpression while a value less than one denotes underexpression. For the sake of simplicity of presentation, a one to one mapping of genes to reactions j≡k is assumed here. This can be easily relaxed if necessary. Consider binary variable w_(j) defined as

$w_{j} = \left\{ \begin{matrix} {1,{{if}\mspace{14mu}{the}\mspace{14mu}{transcript}\mspace{14mu}{and}\mspace{14mu}{flux}\mspace{14mu}{level}\mspace{14mu}{changes}\mspace{14mu}{are}\mspace{14mu}{in}\mspace{14mu}{the}\mspace{14mu}{same}\mspace{14mu}{direction}}} \\ {0,{otherwise}} \end{matrix} \right.$

Given the definition of binary variables w_(j), we can then write

$\begin{matrix} {{v_{j}^{l} \geq {v_{j}^{o} - {\left( {1 - w_{j}^{l}} \right)v_{j}^{o}}}},{{{if}\mspace{14mu} T_{j}^{l}} > 1}} & (4) \\ {{v_{j}^{l} \leq {v_{j}^{o} + {\left( {1 - w_{j}^{l}} \right)\left( {v_{j}^{\max} - v_{j}^{o}} \right)}}},{{{if}\mspace{14mu} T_{j}^{l}} < 1}} & (5) \end{matrix}$ where ν^(o) _(j) is the base flux level and ν^(max) _(j) a maximum allowable value. For w_(j)=1, these two constraints correctly enforce ν^(l) _(j)≧ν^(o) _(j) if T^(l) _(j)>1 and ν^(l) _(j)≦ν^(o) _(j) if T^(l) _(j)<1 respectively. For w_(j)=0 the two constraints yield obviously valid, non-binding constraints ν^(l) _(j)≧0 and ν^(l) _(j)≦ν^(max) _(j) respectively. Perfect correlation between transcript and flux levels would have implied that all w_(j) are equal to one. However, experimental studies have demonstrated that not 100% but rather on average about 80% of the genes exhibit transcript and flux levels changing in the same direction. Moreover, the further from unity the value of the transcript level is, the more likely it is for it to agree with the flux change direction. This motivates a probabilistic description for quantifying the likelihood that transcript changes translate to corresponding flux level changes in the same direction. Specifically, we will construct a statistical model of the form,

${P_{j} = {1 - {\frac{1}{2}{\exp\left\lbrack {- \frac{\left( {T_{j} - 1} \right)}{T^{scale}}} \right\rbrack}}}},{{{for}\mspace{14mu} T_{j}} \geq 1},{P_{j} = {1 - {\frac{1}{2}{\exp\left\lbrack {- \frac{\left( {{1/T_{j}} - 1} \right)}{T^{scale}}} \right\rbrack}}}},{{{for}\mspace{14mu} T_{j}} \leq 1}$

The scale T^(scale) is chosen so as to control the range over which P_(j) remains away from one. A value of 0.622 implies that 100% overexpression (T_(j)=2) or underexpression (T_(j)=½) confers a 90% probability of unidirectionality. FIG. 7 plots the probability P_(j) of having unidirectional transcript and flux changes as a function of transcript level T_(j). Note that for T_(j)=1, P_(j)=0.5 reflecting an equal chance for either outcome whereas when T_(j) has very large positive or negative exponents P_(j) approaches one. The present invention contemplates that more elaborate models for P_(j) can be used, including those constructed by borrowing from mechanistic methods or other methods developed for linking transcript ratios to flux changes.

After using the P_(j) probabilities to weigh the effect of each w_(j) the following constraint is obtained:

$\begin{matrix} {{\sum\limits_{j}{P_{j}{w_{j}/\left( {\sum\limits_{j}P_{j}} \right)}}} \geq \alpha} & (6) \end{matrix}$

Here α is the fraction of genes j expected to have unidirectional transcript and flux changes. Thus, α quantifies the “agreeability” between the transcript ratios and the flux changes predicted by FBA. Augmenting FBA with constraints (4), (5) and (6) superimposes in a probabilistic sense the qualitative information encoded in the gene expression profiles of DNA microarray experiments. The above described probabilistic framework in two ways is employed in a number of different ways.

The optimization of FBA models typically yields numerous alternate optima. An elegant algorithm has been proposed for identifying all of them by Lee et al., 2000. The DNA microarray data can be used to identify the subset of alternate optima that are consistent with the experimentally determined genetic expression levels. Specifically, the parameter α can be used to rank the multiple optima (Lee et al., 2000) typically obtained after the optimization of an objective function within an FBA model with respect to their agreeability with the DNA array data. Results with the data from Oh & Liao (2000) for the transition from growth on glucose to growth on acetate show that α can vary from 0.74 to 0.89 for the imposed growth rate of 0.3 hr⁻¹ depending on which alternate optimal solution is identified by the solver. Thus the FBA to expression profile agreeability can be improved as much as 20% by maximizing α for a given FBA optimal solution. The present invention also provides for the direct incorporation of the DNA microarray data into the FBA model. Here the sensitivity of the FBA objective to the imposed agreeability with the experimental transcript profiles can be adjusted by constraining the model to meet various values of α. Results, shown in FIG. 8, for the same data from Oh & Liao (2000) show a quadratic trend between the minimum acetate uptake rate and the imposed agreeability parameter, α.

5. Identifying Gene Candidates for Recombination

The explosive growth of annotated genes associated with metabolism calls for a systematic procedure for determining the most promising recombination choices. Until now, recombinant DNA technology has been used to add straightforward conversion pathways which introduce new and desirable cellular functions. Here the objective is to utilize flux balance analysis and mixed-integer programming tools to select the mathematically optimal genes for recombination into E. coli or other prokaryotes from a metabolic database encompassing many genes from multiple species. The resulting pathways need not lie directly on main production pathways, as they may enhance production indirectly by either redirecting metabolic fluxes into the production pathways or by increasing the energy efficiency of the present pathways.

A comprehensive stoichiometric matrix containing all known metabolic reactions from the Kyoto Encyclopedia of Genes and Genomes (KEGG) (Kanehisa and Goto, 2000) and Ecocyc (Karp et al., 2000), and other sources can be compiled and incorporated into the flux balance model of the model organism (e.g., E. coli). We refer to this multi-species stoichiometric matrix as the Universal stoichiometric matrix. This multi-species stoichiometric matrix is a valuable resource for exploring in silica gene recombination alternatives and examining which prokaryote will be the most advantageous choice for a given bioprocessing application.

Selecting up to h new genes to recombine into the host organism so that a metabolic objective ν* is maximized can be formulated as an MILP problem. This is accomplished by augmenting the LP flux balance model with constraint y_(k)=1, ∀k εΕ that ensures that all E. coli genes are present as well as constraints

${{\sum\limits_{k \in {NE}}y_{k}} \leq h},{0 \leq v_{j} \leq {v_{j}^{\max}\left( {\sum\limits_{k}{a_{jk}y_{k}}} \right)}}$ that allow up to h foreign genes to be incorporated in E. coli out of the comprehensive list contained in the Universal matrix (i.e. NE). Here the host organism is assumed to be E. coli but in general any annotated prokaryotic microbe can be selected as the host organism. Reactions chosen by the model but absent in E. coli (i.e., all non-zero y_(k) elements of NE provide routes for manipulating the cellular metabolism through recombinant DNA technology.

Preliminary results using the flux balance E. coli model of Pramanik and Keasling demonstrate that improvements to seven amino acid production pathways of E. coli are theoretically attainable with the addition of genes from foreign organisms (see the table of FIG. 9). J. Praminik and J. D. Keasling, Biotech. Bioeng. 56, 398 (1997).

In most cases, only one or two genes were added to the original amino acid production pathway even though the complete list of 3,400 reactions was available for selection. The mechanism of all identified enhancements is either by: (i) improving the energy efficiency and/or (ii) increasing the carbon conversion efficiency of the production route. Manipulation of the arginine pathway showed the most promise with 8.75% and 9.05% improvements for growth on glucose and acetate, respectively. FIG. 10 shows the pathway modifications introduced in the recombined network for growth on glucose. Overall, the additional genes used by the Universal model save the original pathway three net ATP bonds increasing arginine production by 8.75%. Similar trends are revealed when other native and Universal amino acid production routes for glucose and acetate substrates are examined.

The models of the present invention that have been described can also be extended to encompass more gene candidates for recombination as they become available through ongoing genome projects. The present invention applies to any number of organisms, including other microorganisms of industrial significance. Even though E. coli is one of the most industrially significant microorganisms, other microbes confer advantages due to their relaxed regulatory mechanisms. For example, various species of the genera Corynebacterium and Brevibacterium have been employed to produce glutamate by exploiting a phospholipid-deficient cytoplasmic membrane enabling the secretion of glutamate into the medium. Riboflavin, or vitamin B₂, overproduces include Eremothecium ashbyii and Ashbya gossypii in which no repressive effects from ferrous ion are observed.

The logic based constraints of the present invention can be integrated with the gene selection MILP formulation to tighten the obtained predictions. By contrasting the optimal recombination changes identified for the production of different amino acids, recombination strategies that point towards simultaneous yield improvements of multiple amino acids are identified. The invention's optimization framework for guiding gene additions provides the quantitative means to study flux enhancements through foreign gene recombination from an ever-expanding database of available genes. Although complete gene-enzyme relationships are not currently known, the formulation allows the incorporation of this information as it becomes available.

6. Gene Deletions (Minimal Sets)

The recent explosion of fully sequenced genomes has brought significant attention to the question of how many genes are necessary for sustaining cellular life. A minimal genome is generally defined as the smallest set of genes that allows for replication and growth in a particular environment. Attempts to uncover this minimal gene set have included both experimental and theoretical approaches. Theoretical methods are based on the hypothesis that genes conserved across large evolutionary boundaries are vital to cellular survival. Based on this hypothesis, a minimal set of 256 genes was compiled by assuming that genes common to both M. genitalium and Haemophilus influenzas must be members of a minimal genome. A. R. Mushegian and E. V. Koonin, P. Natl. Acad. Sci. USA 93, 1026 (1996).

Interestingly, however, only 6 out of 26 E. coli open reading frames of unknown function conserved in M. genitalium were deemed essential to species survival. F. Arigoi, et al., Nat. Biotechnol. 16, 851 (1998). The existence of multiple, quite different, species and environment specific minimal genomes has long been speculated. M. Huynen, M., Trends Genet. 16, 116 (2000). The present invention provides for a computational procedure for testing this claim by estimating the minimum life-sustaining core of metabolic reactions required for given growth rates under different uptake conditions. This problem can be formulated as the following optimization problem

${{\min{\sum\limits_{j = 1}^{M}{y_{i}\mspace{14mu}{subject}\mspace{14mu}{to}\mspace{14mu}{\sum\limits_{j = 1}^{M}{S_{ij}v_{j}}}}}} = b_{i}},{i = 1},\ldots\mspace{11mu},{N\mspace{14mu}{with}}$ v_(biomass) ≥ v_(biomass)^(target)  and  0 ≤ v_(j) ≤ v_(j)^(max)y_(j) that solves for the smallest set of metabolic reactions that satisfies the stoichiometric constraints and meets a biomass target production rate ν_(biomass) ^(target). Alternatively, instead of a biomass target, minimum levels of ATP production or lowest allowable levels of key components/metabolites could be incorporated in the model. One novel feature of this aspect of the invention is that whereas previous attempts utilized reductionist methodologies to extract the set of essential genes through a series of gene knock-outs, here we simultaneously assess the effect of all reactions on biomass production and select the minimal set that meets a given growth rate target (whole-system approach). A minimal gene set can then be inferred by mapping the enzyme(s) catalyzing these reactions to the corresponding coding genes.

Results based on the E. coli FBA model of Edwards and Palsson for the first time quantitatively demonstrated that minimal reaction sets and thus corresponding minimal gene sets are strongly dependent on the uptake opportunities afforded by the growth medium and the imposed growth requirements. J. S. Edwards and B. O. Palsson, Proc. Natl. Acad. Sci. USA 97, 5528 (2000). Specifically, the minimal reaction network (subset of only E. coli reactions), was explored for different growth requirements under two contrasting uptake environments (a) restricting the uptake of organic material to glucose only and (b) allowing the uptake of any organic metabolite with a corresponding transport reaction. These two extreme uptake scenarios were chosen to model maximum and minimum reliance on internal metabolism for component synthesis and probe its effect on the minimum reaction set required. The minimum number of metabolic reactions as a function of the imposed biomass growth target, (as a % of the theoretically maximum), for the two uptake choices is shown in FIG. 11.

While it is predicted that an E. coli cell grown on a medium containing only glucose requires at least 226 metabolic reactions to support growth, a cell cultured on a rich optimally engineered medium could support growth with as few as 124 metabolic reactions. As expected, the minimal reaction set becomes larger by increasing the required growth rate. However, the magnitude of this increase is quite different for the two cases. In case (a) the minimal reaction set increases only from 226 to 236 to meet the maximum growth rate, however, in case (b) the minimal reaction set almost doubles going from 124 to 203. Furthermore, neither the minimal reaction sets nor their corresponding reaction fluxes were found to be unique. Even after excluding cycles and isoenzymes hundreds of multiple minimal sets were identified providing a computational confirmation of the astounding redundancy and flux redirection versatility of the E. coli network. More importantly for case (a), all minimal reactions sets identified included 11 out of 12 reactions whose corresponding gene deletions were determined experimentally to be lethal for growth on glucose. Earlier analyses (Edwards and Palsson, 2000) based on a single gene deletions conducted with this model using LP optimization were able to identify only 7 out of 12 lethal gene deletions motivating the importance of considering simultaneous gene deletions within an MILP framework.

The present invention contemplates that this framework can be built on by constructing different minimal reaction sets for not just E. coli but other species separated by wide evolutionary boundaries. By contrasting the obtained minimal sets, a comparison of minimal reaction sets (metabolic gene sets) along different evolutionary branches can be made. For example, organisms such as M genitalium and H. influenza can be used with results benchmarked against earlier studies (Mushegian and Koonin, 1996). By lumping reactions occurring in many different species within the Universal stoichiometric matrix described earlier a species independent minimal metabolic reaction set can also be constructed. The predicted E. coli based metabolic minimal set of 124 reactions/genes is comparable to the 94 metabolic genes included in the minimal gene set proposed by Mushegian and Koonin (1996). The present invention contemplates that this prediction gap can be reduced by (i) identifying more efficient reaction combinations, including those occurring in non-E. coli species, and (ii) by uncovering genes that are involved in the uptake or secretion of multiple (similar) metabolites reducing the total count. Clearly, the proposed computational framework is dependent upon a reaction-based analysis which inherently cannot account for genes associated with translation, replication, recombination, repair, transcription, cellular structure and genes of unknown function. However, it does afford the versatility to study different uptake/secretion environments as well as to encompass reaction sets from multiple species in the search for the metabolic minimal genome providing valuable insight and perspective to the questions of what is the minimal genome and how is it shaped by the environment. As more elaborate models are developed describing elementary functions of minimal cells, such as the work of Browning and Shuler for the initiation of DNA replication, more detail will be added to the modeling framework. S. T. Browning and M. L. Shuler, AICHE Annual Meeting, Session 69, Session 69, Los Angeles (2000).

Apart from developing a framework for rationally identifying “minimal” metabolic networks we also intend to exploit the capability of predicting in silico lethal gene deletions for different organisms and uptake environments. By identifying lethal gene deletions for pathogenic microbes as a function of the environment (e.g., H. pylori) a ranked list of promising targets for therapeutic intervention (i.e. interruption of gene expression) can be compiled. This list can further be refined by imposing constraints ensuring that human metabolism do not adversely be affected by repressing the expression of any of the pathogen genes included in the list.

7. Mixed-integer Linear Programming Solution Techniques

The modeling framework of the present invention further provides for computational procedures to be used to solve the network problems presented. The computational procedures to be used include mixed-integer linear programming techniques.

The algorithmic frameworks of the present invention in the context of gene addition, regulation, DNA array data superposition, genetic circuit elucidation and minimal reaction set identification inherently require the use of discrete optimization variables that give rise to MILP problems. Unlike LP problems which can be routinely solved even for hundreds of thousands of variables by employing commercial solvers (e.g., OSL, CPLEX, LINDO, etc.) with minimal or no user intervention, MILP problems are much more computationally challenging typically requiring not just more CPU time but also user intervention. Specifically, it is typically necessary to (i) cast the problem in a form that is more amenable to MILP solution techniques, and (ii) if the problem is still intractable for commercial solvers, to construct customized solution methodologies.

The key source of complexity in MILP problems in metabolic networks is the number of reactions/genes whose on or off switching as well as prediction of over- or under-expression requires binary 0-1 variables to describe. These problems belong to the class of generalized network problems (Ahuja et al, 1993) where each metabolite constitutes a node and each reaction represents an arc in the network. Given that existing FBA models for prokaryotes (Edwards and Palsson. 2000) contain hundreds of reactions and upcoming models for S. cerevisiae will likely be in the thousands motivates the need to harness complexity. In addition, the tremendous redundancy, redirection capability and multiplicity of steady-state solutions further exasperates complexity issues. In light of these challenges, some of the problems addressed by the present invention so far, particularly in the context of the minimal reaction sets required CPU's in the order of 50 hours.

A number of preprocessing and reformulation techniques can be used according to the present invention to alleviate the computational burden. These techniques include isoenzyme grouping, futile cycle exclusion and network connectivity constraints. Isoenzyme grouping refers to the aggregation of reactions differing only in the catalyzing enzyme (i.e., isoenzymes) in a single reaction. This reduces complexity by pruning the total number of binary variables. Futile cycle exclusion addresses the removal of sets of reactions (2 or more) which collectively recycle fluxes in a loop without any net effect on metabolism or energy generation. In general, a set K composed of K reactions forms a futile cycle if

${{\sum\limits_{j \in K}S_{ij}} = 0},{{\forall i} = 1},\ldots\mspace{11mu},N$ The following constraint:

${\sum\limits_{j \in K}y_{j}} \leq {K - 1}$ inactivates at least one reaction breaking the cycle.

Connectivity constraints will ensure that if a reaction producing an intracellular metabolite is active, then at least one reaction consuming this metabolite must be active and vice versa. In addition, if a reaction transporting an extracellular metabolite into the cell is active, then at least one intracellular reaction consuming this metabolite must be active and vice versa.

State of the art commercial MILP solvers such as CPLEX6.1 and OSL which run on a multiprocessor unix platform IBM RS6000-270 workstation can be used to solve these types of problems. For problem sizes that are intractable with commercial MILP solvers, customized decomposition approaches can be used. For example, Lagrangean relaxation and/or decomposition by partitioning the original metabolic network into subnetworks loosely interconnected with only a handful of metabolites can be used. By iteratively solving many smaller problems instead of one large one computational savings are expected. Further, the present invention contemplates the use of disjunctive programming approaches which combine Boolean with continuous variables. These methods have been shown to be particularly effective for MILP problems where all the 0-1 (i.e., Boolean) variables are aggregated into logic constraints as is the case with many of the MILP formulations of the present invention.

8. EXAMPLE Probing the Performance Limits of the Escherichia coli Metabolic Network Subject to go Gene Additions or Deletions

The framework of the present invention can be applied to a number of metabolic network problems in a number of different contexts. The present invention has been used to probe the performance limits of the E. coli metabolic network subject to gene additions or deletions. According to this example, an optimization-based procedure for studying the response of metabolic networks after gene knockouts or additions is introduced and applied to a linear flux balance analysis (FBA) E. coli model. Both the gene addition problem of optimally selecting which foreign genes to recombine into E. coli, as well as the gene deletion problem of removing a given number of existing ones, are formulated as mixed-integer optimization problems using binary 0-1 variables. The developed modeling and optimization framework is tested by investigating the effect of gene deletions on biomass production and addressing the maximum theoretical production of the twenty amino acids for aerobic growth on glucose and acetate substrates. In the gene deletion study, the smallest gene set necessary to achieve maximum biomass production in E. coli is determined for aerobic growth on glucose. The subsequent gene knockout analysis indicates that biomass production decreases monotonically rendering the metabolic network incapable of growth after only 18 gene deletions.

In the gene addition study, the E. coli flux balance model is augmented with 3,400 non-E. coli reactions from the KEGG database to form a multi-species model. This model is referred to as the Universal model. This study reveals that the maximum theoretical production of six amino acids could be improved by the addition of only one or two genes to the native amino acid production pathway of E. coli, even though the model could choose from 3,400 foreign reaction candidates. Specifically, manipulation of the arginine production pathway showed the most promise with 8.75% and 9.05% predicted increases with the addition of genes for growth on glucose and acetate, respectively. The mechanism of all suggested enhancements is either by: (i) improving the energy efficiency and/or (ii) increasing the carbon conversion efficiency of the production route.

This example according to the framework of the present invention uses flux balance analysis and mixed-integer programming tools to select the mathematically optimal genes for recombination into E. coli from a metabolic database encompassing many genes from multiple species. The resulting pathways need not lie directly on main production pathways, as they may enhance production indirectly by either redirecting metabolic fluxes into the production pathways or by increasing the energy efficiency of the present pathways.

The recent upsurge of sequenced genomes has also brought significant attention to the question of which genes are crucial for supporting cellular life. Flux balance analysis modeling provides a useful tool to help elucidate this question. Although FBA models cannot simulate the regulatory structure alterations associated with gene deletions, these models can capture whether sufficient network connectivity exists to produce metabolites critical to cellular survival. In fact, a recent FBA model proposed by Edwards & Palsson (2000) was able to qualitatively predict the growth patterns of 86% of the mutant E. coli strains examined. This model was also used to identify some of the essential gene products of central metabolism for aerobic and anaerobic E. coli growth on glucose. J. S. Edwards and B. O. Palsson, BMC Bioinformatics 2000b 1, 1.

Determining the maximum number of tolerable gene deletions in a given metabolic system, however, requires a discrete optimization strategy in which multiple gene deletions can be simultaneously examined. A related approach utilizing discrete optimization to identify all alternate optima in linear metabolic models has been proposed by Lee et al. (2000).

According to the present invention, we examine how stoichiometric boundaries of cellular performance expand or contract in the presence of multiple gene additions or deletions. A FBA model of the cellular metabolism of E. coli is constructed incorporating the reaction pathways provided by Pramanik and Keasling (1997) along with modifications suggested by Karp (1999) based on more recent data. The modifications are either small molecule corrections based on more recent metabolic information or the removal of certain pathways now known to be absent from the E. coli genotype. A stoichiometric matrix as suggested by Schilling containing all metabolic reactions from the Kyoto Encyclopedia of Genes and Genomes is compiled and incorporated into the model. C. H. Schilling, et al., Biotech. Prog. 15, 288 (1999). We refer to this multi-species stoichiometric matrix as the Universal stoichiometric matrix. A short discussion of flux balance analysis will be presented next, followed by the gene addition and deletion formulations and their application to biomass and amino acid production in E. coli.

8.1 Flux Balance Analysis

Flux balance analysis (FBA) requires only the stoichiometry of biochemical pathways and cellular composition information to identify boundaries for the flux distributions available to the cell. Although microorganisms have evolved highly complex control structures which eventually collapse these available boundaries into single points, FBA models are still valuable in setting upper bounds for performance targets and in identifying “ideal” flux distributions. The underlying principle of FBA is mass balances on the metabolites of interest. For a metabolic network comprised of N metabolites and M metabolic reactions we have,

$\begin{matrix} {{{\sum\limits_{j = 1}^{M}{S_{ij}v_{j}}} = b_{i}},{\forall i}} & (7) \end{matrix}$ where S_(ij) is the stoichiometric coefficient of metabolite i in reaction j, ν_(j) represents the flux of reaction j, and b_(i) quantifies the network's uptake (if negative) or secretion (if positive) of metabolite i. For all internal metabolites, b_(i) is zero. Reversible reactions are defined simply as two irreversible reactions in opposite directions, constraining all fluxes to positive values.

Typically, the resulting flux balance system of equations is underdetermined as the number of reactions exceeds the number of metabolites and additional information is required to solve for the reaction fluxes. Several researchers have measured external fluxes to add as constraints to their under-determined models, rendering them completely determined or over-determined. H. Jorgensen, et al., Biotechnol. Bioeng. 46 117 (1995); E. Papoutsakis and C. Meyer, Biotechnol. Bioeng. 27, 50 (1985); E. Papoutsakis and C. Meyer, Biotechnol. Bioeng. 27, 67 (1985); A. Pons, et al. Biotechnol. Bioeng. 51(2), 177 (1996). However, additional assumptions such as removing reaction pathways are often needed before external flux measurements can completely define a system, and neglecting potentially active pathways to render a system completely defined may cause large changes in calculated fluxes (Pramanik, 1997). A popular technique for investigating metabolic flux distributions is linear optimization (Varma, 1994). The key conjecture is that the cell is capable of spanning all flux combinations allowable by the stoichiometric constraints and thus achieving any flux distributions that maximize a given metabolic objective (e.g., biomass production). The linear programming model for maximizing biomass production is:

${{Maximize}\mspace{31mu}\begin{matrix} {Z = v_{biomass}} \\ {{{\underset{j = 1}{\overset{M}{\sum}}S_{ij}v_{j}} = b_{i}},{\forall i}} \\ {{b_{i} \in \Re},{\forall i}} \\ {{v_{j} \in \Re^{+}},{\forall j}} \end{matrix}}\;$ where ν_(biomass) is a flux drain comprised of all necessary components of biomass in their appropriate biological ratios. Other objective functions such as maximizing metabolite production, maximizing biomass production for a given metabolite production, and minimizing ATP production have also been investigated in the prior art. 8.2 Escherichia coli Stoichiometric Models

Microbial stoichiometric models incorporate collections of reactions known to occur in the studied species for simulating metabolism. The complete sequencing of the E. coli genome makes it a model organism for the study presented in this paper because extensive knowledge regarding its biochemical pathways is readily available. Varma and Palsson proposed the first detailed FBA E. coli model capable of predicting experimental observations. A. Varma and B. O. Palsson, J. Theor. Biol. 165, 503 (1993). The stoichiometric matrix included 95 reversible reactions utilizing 107 metabolites for simulating glucose catabolism and macromolecule biosynthesis. This model was used to investigate byproduct secretion of E. coli at increasingly anaerobic conditions and was able to predict the right sequence of byproduct secretion consistent with experimental findings: first acetate at slightly anaerobic conditions, then formate, and finally ethanol at highly anaerobic conditions. A. Varma, et al., Appl. Environ. Microb. 59, 2465 (1993). Building on the previous model, Pramanik and Keasling (1997) introduced a model that incorporated 126 reversible reactions (including 12 reversible transport reactions) and 174 irreversible reactions, as well as 289 metabolites. Pramanik and Keasling (1997) correlated the macromolecule composition of E. coli as a function of growth rate, and verified their model with experimental data. The model successfully predicted several levels of genetic control such as the glycoxylate shunt closing for growth on glucose and the PEP carboxykinase flux tending towards oxaloacetate. Furthermore, the glycoxylate shunt was active during growth on acetate while the flux through PEP carboxykinase was toward Phosphoenolpyruvate.

The stoichiometric E. coli model used in this study employs 178 irreversible, 111 reversible and 12 transport reactions compiled largely from the model published by Pramanik and Keasling (1997). The modifications to the Pramanik and Keasling stoichiometric matrix are given in the table of FIG. 12. They are primarily small molecule corrections (e.g., ATP in place of GTP for succinate thiokinase) or the removal of reactions now known to be absent from E. coli based on more recent data (Karp, 1999). Note that similar changes were also independently included in the most recently published E. coli model of Edwards and Palsson (2000). The metabolic network is fueled by transport reactions allowing an unconstrained supply of ammonia, hydrogen sulfate, and phosphate, along with a constrained supply of glucose or acetate to enter the system. Oxygen uptake is unconstrained to simulate aerobic conditions. Unconstrained secretion routes for lactate, formate, ethanol, glyceraldehyde, succinate, and carbon dioxide byproducts are provided by the transport reaction fluxes. The Universal model is constructed by incorporating 3400 cellular reactions from the Kyoto Encyclopedia of Genes and Genomes into the modified Keasling stoichiometric model. The Universal stoichiometric matrix contains all reactions known to occur in E. coli, as well as a number of reactions from other organisms.

8.3 Mathematical Modeling of Gene Deletions/Additions

Practically every metabolic reaction is regulated to some extent by one or more enzymes, produced by the translation of one or more genes. As a result, the removal of certain genes from microbial DNA sequences can be fatal or have little if any effect depending upon the role of the enzymes coded for by these genes. Conversely, the addition of certain genes through recombinant DNA technology can have either no effect or produce novel desirable cellular functionalities. Given a stoichiometric model of E. coli metabolism and the Universal stoichiometric matrix encompassing reactions occurring in multiple species, the goal of this section is to formulate a mathematical model that (i) captures cellular robustness in the presence of multiple gene deletions, and (ii) identifies additional genes from the Universal data set having the most profound effect on improving a given metabolic objective.

First, define K={k}={1, . . . ,M, . . . ,T} as the set of all possible genes where M represents the number of E. coli genes and T represents the total number of genes in the data set. This set can be partitioned into two subsets E and NE where subset E represents genes present in E. coli and subset NE represents genes present only in non-E. coli species: E={k|1≦k≦M} NE={k|M+1≦k≦T}

Subsequently, let binary variable y_(k) describe the presence or absence of each gene k:

$y_{k} = \left\{ \begin{matrix} 0 & {{if}\mspace{14mu}{gene}\mspace{14mu} k\mspace{14mu}{is}\mspace{14mu}{not}\mspace{14mu}{expressed}\mspace{14mu}{in}\mspace{14mu}{host}\mspace{14mu}{organism}} \\ 1 & {{if}\mspace{14mu}{gene}\mspace{14mu} k\mspace{14mu}{is}\mspace{14mu}{present}\mspace{14mu}{and}\mspace{14mu}{functional}} \end{matrix} \right.$

The selection of the optimal gene choices for deletion or insertion from DNA recombination can be determined by appropriately constraining the number of non-zero elements in y. The case of removing a given number of genes, d, from E. coli can be investigated by including the following constraint:

${{\sum\limits_{k \in \mathcal{E}}1} - y_{k}} \geq d$

This ensures that no more than (M−d) genes are available to the metabolic network. Similarly, the effect of introducing any number of additional genes, h, can be investigated by utilizing: y_(k)=1∀kεE  (8)

$\begin{matrix} {{\sum\limits_{k \in {{??}\mathcal{E}}}y_{k}} \leq h} & (9) \end{matrix}$ Equation (8) allows all E. coli genes to be present and functional if necessary, while equation (9) sets an upper limit to the number of allowable additions. The optimal genes selected by the model are obtained by determining which elements of NE are equal to one. In addition, since multiple genes often correspond to a single reaction and occasionally multiple reactions are catalyzed by an enzyme coded for by a single gene, the binary parameter α_(jk) is defined to describe which enzymes are coded for by which genes:

$a_{jk} = \left\{ \begin{matrix} 0 & {{if}\mspace{14mu}{gene}\mspace{14mu} k\mspace{14mu}{has}\mspace{14mu}{no}\mspace{14mu}{direct}\mspace{14mu}{effect}\mspace{14mu}{on}\mspace{14mu}{reaction}\mspace{14mu} j} \\ 1 & {{if}\mspace{14mu}{gene}\mspace{14mu} k\mspace{14mu}{codes}\mspace{14mu}{for}\mspace{14mu}{an}\mspace{14mu}{enzyme}\mspace{14mu}{catalyzing}\mspace{14mu}{reaction}\mspace{14mu} j} \end{matrix} \right.$ Parameter α_(jk) establishes links between genetic functional assignments and reactions. In order for a flux ν_(j) to take on a non-zero value, at least one gene must code for an enzyme catalyzing this reaction (α_(jk)=1) and this gene must be present and functional in the host organism (y_(k)=1). Given that at least one gene must code for every enzyme we have,

$\sum\limits_{k}{a_{jk}y_{k}\begin{matrix} {= 0} & {{if}\mspace{14mu}{no}\mspace{14mu}{gene}\mspace{14mu}{coding}\mspace{14mu}{for}\mspace{14mu}{the}\mspace{14mu}{enzyme}\mspace{14mu}{of}\mspace{14mu}{reaction}\mspace{14mu} j\mspace{14mu}{is}\mspace{14mu}{functional}} \\ {\geq 1} & {{if}\mspace{14mu}{at}\mspace{14mu}{least}\mspace{14mu}{one}\mspace{14mu}{gene}\mspace{14mu}{coding}\mspace{14mu}{for}\mspace{14mu}{the}\mspace{14mu}{enzyme}\mspace{14mu}{of}\mspace{14mu}{reaction}\mspace{14mu} j\mspace{14mu}{is}\mspace{14mu}{functional}} \end{matrix}}$ This implies that the following constraint,

${L_{j}\left( {\sum\limits_{k}{a_{jk}y_{k}}} \right)} \leq v_{j} \leq {U_{j}\left( {\sum\limits_{k}{a_{jk}y_{k}}} \right)}$ ensures that ν_(j)=0 if there exists no active gene k capable of supporting reaction j. In this case,

${{\sum\limits_{k}{a_{jk}y_{k}}} = 0},$ which in turn forces the value of ν_(j) to zero. Alternatively, if at least one such gene is functional, then

${{\sum\limits_{k}{a_{jk}y_{k}}} \geq 1},$ allowing ν_(j) to assume any value between a lower L_(j) and an upper U_(j) bound. These bounds are set by minimizing/maximizing respectively the given flux ν_(j) subject to the stoichiometric constraints. These problems are solved using CPLEX 6.6 accessed via the commercial software package GAMS. Problems with up to 3700 binary variables were solved on an IBM RS6000-270 workstation. 8.4 Gene Knockout Study

In this example according to the presentation, we determine what is the smallest gene set capable of maximizing biomass production on glucose substrate (uptake basis: 10 mmol) and what is the maximum number of gene deletions from this gene set that still maintains a specified level of biomass production. First, we maximized the biomass production flux, ν_(biomass). The solution yields the maximum theoretical level of biomass production (ν_(biomass) ^(max) =1.25 g biomass/gDW·hr) achievable by the metabolic network within the stoichiometric constraints. Next, the minimum number of genes that maintains a specified target level of biomass production ν_(biomass) ^(target) (as a percentage of the maximum) is determined. The new objective function minimizes the total number of functional E. coli genes available to the cell subject to the constraint of setting biomass production ν_(biomass) greater than or equal to ν_(biomass) ^(target). This problem is formulated as:

${{Minimize}\mspace{14mu} Z} = {\sum\limits_{k \in ɛ}y_{k}}$ ${{{subject}\mspace{14mu}{to}\mspace{14mu}{\sum\limits_{j = 1}^{M}\;{S_{ij}v_{j}}}} = b_{i}},{\forall i}$ $\mspace{95mu}{{L_{j}\left( {\sum\limits_{k}{a_{jk}y_{k}}} \right)} \leq v_{j} \leq {U_{j}\left( {\sum\limits_{k}{a_{jk}y_{k}}} \right)}}$         v_(biomass) ≥ v_(biomass)^(target) ⁢ v j ∈ + , ∀ j ⁢ ⁢ ⁢ b i ∈ , ∀ i ⁢⁢⁢y k ∈ { 0 , 1 } , ∀ k ∈ E where the nonzero elements of y_(k) define the minimum gene set capable of attaining the target growth rate. The smallest gene set M_(100%), capable of sustaining the maximum theoretical growth rate is obtained by setting ν_(biomass) ^(target) =100% ·ν_(max) ^(biomass). The model predicts that 202 non-transport intracellular reactions out of 400 available reactions (111×2 reversible reactions +178 irreversible reactions) are required to sustain ν_(biomass) ^(max) . These reactions include the glycolytic reactions, the pentose phosphate pathway, the TCA cycle, the respiratory reactions and all other anabolic and catabolic routes necessary for optimal growth.

Given M_(100%) , the next goal is to determine which of these genes could be knocked-out while still allowing the metabolic network to sustain specified sub-optimal growth rates. This is accomplished by setting ν_(biomass) ^(target) equal to various percentages of ν_(biomass) ^(max) and constraining the intracellular reaction fluxes outside of M_(100%) to zero. It must be noted that this assumption prevents the model from activating any genes outside of the M_(100%) set and the significance of this assumption will be discussed in the following section. The number of allowable gene knockouts for various biomass production levels are given in FIG. 13 while the selected gene removals are presented in the table of FIG. 14. As expected, as the biomass production demands on the network are lessened, the model tolerates more gene knockouts. However, the range of allowable knockouts is rather small. Specifically, the model tolerates at most 9 gene deletions with a biomass requirement of 90% ·ν_(biomass) ^(max) , while 18 gene removals render the network incapable of biomass formation. Thus the subset containing all elements of M_(100%) minus the 18 gene knockouts (194 genes) describes the smallest subset of M_(100%) capable of sustaining E. coli cellular growth for the employed FBA model. Additionally, it must be noted that all subsets include the seven experimentally verified essential gene products of central metabolism identified by the in silico gene deletion study of E. coli conducted by Edwards and Palsson (2000b).

8.5 Discussion on the Gene Deletion Study

Investigation of the specific gene knockouts provides interesting insight into the effect of various energy generation pathways. The suggested gene deletions imply that the energetic status of the network is improved as the required biomass production demands on the cell are reduced. This is demonstrated by the fact that as the biomass requirements are lessened, the optimization formulation sequentially eliminates pathways responsible for the formation of energy. One such observation involves the gradual degradation of the TCA cycle. When the model is constrained to produce only 80% of the optimal level of biomass, the network no longer utilizes the succinate dehydrogenase enzyme to produce FADH₂. Further reducing the biomass production requirement to 70% enables the removal of the fumAB, mdh, and sucCD genes forgoing the formation of one GTP and one NADH per unit reaction flux. The next major energy formation pathway to be eliminated occurs at a biomass production level of 20%. At this point, the energetic state of the cell is such that it no longer requires the formation of ATP from the cellular proton gradient. Finally, at the lowest biomass production levels, the cell no longer requires the oxidation of NADH to force protons across the cellular membrane.

This study provides insight into the dependence of cellular growth on various energy generation pathways and provides an estimate of the minimum number of metabolic genes capable of enabling cellular growth. The prediction of 194 genes is lower than the theoretical estimation of 256 by Mushegian and Koonin (1996) obtained by investigating the complete genomes of Haemophilus influenzae and Mycoplasma genitalium and assuming genes preserved across large phylogenetic distances are most likely essential. This was expected considering the inability of this reaction-based framework to account for genes associated with translation, transcription, replication, and repair, and the lumping of pathways by the stoichiometric model. A more practical comparison involves considering the number of metabolic genes included in the minimal gene set estimation. In this case, the predicted set of 194 metabolic genes overestimates the 94 metabolic genes included in the minimal gene set proposed by Mushegian and Koonin (1996). This overestimation arises in part because the effect of activating metabolic genes outside of the original optimal gene set was not investigated. This lowers the minimal gene set estimation by opening additional metabolic routes. Furthermore, this study only allowed glucose to enter the network as organic fuel and limited metabolic capacity can be compensated for by a proportionately greater dependence on the importation of nucleosides, amino acids, and other metabolites. C. A. Hutchison, et al., Science 286, 2165 (1999).

8.6 Amino Acid Production Optimization Studies

In this section, we identify mathematically optimal reaction pathways to recombine into the E. coli metabolic network to optimize amino acid formation for growth on glucose and acetate. We explored the theoretically optimal formation of all twenty amino acids. Each optimization run was performed for two cases: (i) including only the reactions present in E. coli, and (ii) allowing the model to select all reactions from the Universal stoichiometric matrix. The problem of maximizing the amino acid production is formulated by substituting amino acid accumulation, b_(aa), in place of ν_(biomass) in equation (7), while the problem of maximizing the amino acid formation b_(aa) ^(UNV) of the Universal network is formulated as:

Maximize  Z = b_(aa)^(UNV) ${{{subject}\mspace{14mu}{to}\mspace{14mu}{\sum\limits_{j = 1}^{M}\;{S_{ij}v_{j}}}} = b_{i}},{\forall i}$         y_(k) = 1, ∀k ∈ ɛ ${{L_{j}\left( {\sum\limits_{k}{a_{jk}y_{k}}} \right)} \leq v_{j} \leq {U_{j}\left( {\sum\limits_{k}{a_{jk}y_{k}}} \right)}}$ ⁢v j ∈ + , ∀ j ⁢ ⁢ ⁢ b i ∈ , ∀ i ⁢ ⁢ ⁢ y k ∈ { 0 , 1 } , ∀ k ∈ E ⋃ NE

Note that this formulation allows the selection of any number of reactions from the multi-species reaction list. Reactions chosen by the model but absent in E. coli (i.e., all non-zero y_(k) elements of NE) provide routes for manipulating the cellular metabolism through recombinant DNA technology. The theoretical amino acid production capabilities of the E. coli metabolic network, with and without the additional reactions from the Universal matrix, are shown in the table of FIG. 9 for growth on glucose and acetate. It must be noted that it is the structural pathway changes predicted by the model that are more meaningful than the exact numerical values because these are theoretical maximum yield calculations. Predictions by the Varma and Palsson (1993) model are shown for comparison. As expected, the maximum production capabilities by the Varma and Palsson (1993) model are slightly below the predictions of the more complex employed model due to the additional metabolic routes available for production.

The results show that improvements to seven amino acid production pathways of E. coli are theoretically attainable with the addition of genes from various organisms. Manipulation of the arginine pathway shows the most promise, with 8.75% and 9.05% increases with additional genes for growth on glucose and acetate, respectively. The optimal recombinant asparagine pathway shows 5.77% and 5.45% increases over current E. coli growth on glucose and acetate, while cysteine production can be raised 3.57% and 3.80%, respectively. The histidine production pathway is revealed as another encouraging target for DNA recombination with 0.23% and 4.53% improvements available as well. The isoleucine, methionine, and tryptophan formation pathways offer the final three genetic objectives for enhancing production.

The enzymes responsible for introducing these various improvements to the E. coli amino acid production pathways are shown in the table of FIG. 15. In most cases, the addition of only one or two genes to the original amino acid production pathway results in an increased maximum theoretical yield even though the complete list of 3,400 reactions was available for selection. For example, introducing foreign genes coding for carbamate kinase and the pyrophosphate dependant version of 6-phosphofructokinase further optimizes arginine production for growth on glucose, while adding carbamate kinase and another gene coding for acetate kinase renders the arginine production pathway on acetate stoichiometrically optimal. Expressing the genes coding for aspartate-ammonia ligase and sulfate adenylyltransferase in E. coli results in the increased mentioned earlier in asparagine and cysteine productions, respectively. Only the production of isoleucine on glucose and acetate substrates and the production of methionine on acetate require over two additional enzymes to reach optimality according to the model.

8.7 Discussion on the Gene Addition Study

Careful examination of these amino acid pathways reveals how these additional enzymes improve the energetic efficiency of the original routes. The original and Universal arginine production pathways for growth on glucose are shown in FIG. 16. The two pathways differ in only two reactions—the pyrophosphate dependant analog of 6-phosphofructokinase in the Universal model replaces the ATP dependent version present in E. coli, and carbamate kinase in the Universal model replaces carbamoyl phosphate synthetase from the original E. coli model. The first improvement to energy utilization occurs because the Universal model 6-phosphofructokinase uses pyrophosphate formed from Argininosuccinate synthase reaction instead of ATP to transfer a phosphate group to fructose-6-phosphate in the third step in glycolysis. The E. coli model, which sends this pyrophosphate through pyrophosphatase for hydrolytic cleavage, in effect wastes the energy from this energy-rich phosphoanhydride bond. By recapturing this otherwise wasted energy, the pyrophosphate version of 6-phosphofructokinase requires one less ATP phosphoanhydride bond per arginine molecule produced.

The second form of cellular energy savings is realized by the replacement of carbamoyl phosphate synthetase. The native carbamoyl phosphate synthetase creates one mole of carbamoyl phosphate from carbon dioxide at the expense of two ATP phosphoanhydride bonds. This reaction also requires an amino group of one glutamine molecule, which subsequently forms glutamate. Reforming glutamine from glutamate requires yet another ATP; thus each unit flux through carbamoyl phosphate synthetase requires three ATP. Carbamate kinase, incorporated in the Universal model, forms carbamoyl phosphate from carbon dioxide and ammonia at the expense of only one ATP. Therefore, carbamate kinase requires two less ATP bonds per unit flux of carbamoyl phosphate formed. Overall, the additional genes used by the Universal model save the original pathway three net ATP bonds increasing arginine production by 8.75%. A similar analysis can be performed on native and Universal arginine production routes from acetate substrate depicted in FIG. 17.

The E. coli asparagine production pathway is shown in FIG. 18 for two modes of glucose entry into the metabolic network—glucokinase and the phosphotransferase system. Interestingly, the E. coli model prefers glucokinase to the more common phosphotransferase system for glucose entry during optimal asparagine production. Although glucokinase is known to play a minor role in glucose metabolism under normal conditions, replacement of the phosphotransferase system by this reaction increases asparginine production from 1.560 mol/mol glucose to 1.818 mol/mol glucose. Glucose entry via the phosphotransferase system requires substantial flux through phosphoenolpyruvate (PEP) synthase to regenerate PEP from pyruvate carrying the net expense of one ADP phosphoanhydride bond. Thus either over-expressing glucokinase in E. coli or adding a more active recombinant glucokinase enzyme may improve asparagine production. FIG. 19 illustrates the optimal Universal route for asparagine production on glucose. By choosing the ADP-forming aspartate-ammonia ligase enzyme over the AMP-forming version present in E. coli, the energy efficiency of this pathway is improved. Presently no pathways for the conservation of the pyrophosphate bond energy have been identified in E. coli, thus the formation of AMP uses the equivalent of two ATP phosphoanhydride bonds. In contrast, by forming ADP, the Universal pathway requires the breakage of only one phosphoanhydride bond per unit flux. In fact, the energy efficiency of the Universal model is such that the formation of asparagine does not require ATP formation from the trans-membrane proton gradient. This gradient is used solely to transport inorganic phosphate into the cell. This mechanism improves asparagine production 5.77% for growth on glucose and 5.45% for growth on acetate.

The optimal histidine production pathways of the E. coli and Universal models for growth on acetate are shown in FIG. 20. Again, the Universal model selects a reaction to conserve the phosphoanhydride bond energy of pyrophosphate generated in this case by both ATP phosphoribosyltransferase and phosphoribosyl-ATP pyrophosphatase. Thus the Universal model is at least 2 ATP more efficient than the E. coli model per histidine molecule produced. In addition, the addition of glycine dehydrogenase to the E. coli model improves the carbon conversion of the native histidine pathway. Under optimal histidine production conditions in native E. coli, intracellular glycine is converted to carbon dioxide and ammonia by the glycine cleavage system. In this process, only one of glycine's carbons is conserved by its transfer to tetrahydrofolate. The Universal model, on the other hand, conserves both carbons by converting glycine to glyoxylate which subsequently is pumped back into the glyoxylate shunt. Both mechanisms improve the maximum theoretical yield of histidine 4.53%.

8.8 Conclusions

The proposed optimization framework provided the quantitative means to study metabolic network performance in response to gene deletions or additions. Metabolic network performance relates to either robustness in the face of gene deletions or flux enhancements through foreign gene recombination from an ever-expanding database of available genes. Although complete gene-enzyme relationships are not currently available, the formulation enables the incorporation of this information as it becomes available. The gene knockout analysis revealed that the E. coli metabolic network optimized for growth could endure an increasing amount of gene knockouts as its growth demands are lowered. Furthermore, the network could theoretically tolerate at most 18 gene deletions before biomass production is no longer possible. The gene addition studies revealed that adding additional options to the E. coli genotype by DNA recombination provided improvements to the maximum theoretical productions of seven amino acids. These improvements occur by one of two mechanisms: (i) by improving the energy efficiency or (ii) by increasing the carbon conversion efficiency of the production route.

The reliance of flux balance analysis strictly on stoichiometric characteristics is its greatest strength but also can be its most prominent weakness. The flux distributions within the cell are ultimately uniquely determined by the regulatory mechanisms within the cell, the kinetic characteristics of cellular enzymes, and the expression of these enzymes. Assuming cells operate in a stoichiometrically optimal fashion yields a wider boundary of metabolic flux distributions than may be available to the cell. Currently we are incorporating regulatory information into flux balance models with the use of logic constraints. These constraints will ensure that up or down movements in metabolite concentrations are consistent with up or down shifts in reaction flux values. A more tightly constrained model will give additional insight on how overproducing cellular products affects overall metabolic regulation. As the accuracy of metabolic models improves and the amount of information available for flux balance analysis grows, the framework introduced in this paper can be used to select the most optimal gene addition and/or deletion metabolic manipulations to perform.

9. EXAMPLE Minimal Reaction Sets for Escherichia coli Metabolism Under Different Growth Requirements and Uptake Environments

The framework of the present invention can be applied to a number of metabolic network problems in a number of different contexts. The framework of the present invention has also been applied to determining minimal reaction sets for E. coli metabolism under different growth requirements and uptake environments. According to the present invention, a computational procedure for identifying the minimal set of metabolic reactions capable of supporting various growth rates on different substrates is introduced and applied to a flux balance model of the E. coli metabolic network. This task is posed mathematically as a generalized network optimization problem. The minimal reaction sets capable of supporting specified growth rates are determined for—two different uptake conditions (i) limiting the uptake of organic material to a single organic component (e.g., glucose or acetate) and (ii) allowing the importation of any metabolite with available cellular transport reactions. We find that minimal reaction network sets are highly dependent on the uptake environment and the growth requirements imposed on the network. Specifically, we predict that the E. coli network, as described by the flux balance model, requires 224 metabolic reactions to support growth on a glucose-only medium and 229 for an acetate-only medium, while only 122 reactions enable growth on a specially engineered growth medium.

The recent explosion of fully sequenced genomes has brought significant attention to the question of how many genes are necessary for sustaining cellular life. A minimal genome is generally defined as the smallest set of genes that allows for replication and growth in a particular environment. Attempts to uncover this minimal gene set include both experimental and theoretical approaches. Global transposon mutagenesis was used by Hutchison et al. (1999) to determine that 265 to 350 of the 480 protein-coding genes of Mycoplasma genitalium, the smallest known cellular genome (580 kb), are essential for survival under laboratory growth conditions. Additional experimental work revealed that only 12% and 9% respectively of the yeast and Bacillus subtilis genomes are essential for cellular growth and replication. M. G. Goebl and T. D. Petes, Cell 46, 983 (1986); M. Itaya, FEBS Lett. 362, 257 (1995). Theoretical methods stem from the assumption that genes conserved across large evolutionary boundaries are vital to cellular survival. Based on this hypothesis, a minimal set of 256 genes was compiled by Mushegian and Koonin (1996) by assuming genes common to M. genitalium and Haemophilus influenzae must be members of a minimal genome. Interestingly, only 6 out of 26 E. coli open reading frames of unknown function conserved in M. genitalium were deemed essential to species survival (Arigoi, et al. 1998). The existence of multiple, quite different, species and environment specific minimal genomes has long been speculated (Huynen 2000).

Here we describe a computational procedure for testing this claim by estimating the minimum required growth-sustaining core of metabolic reactions under different uptake conditions. The latest stoichiometric model of E. coli metabolism proposed by Palsson and coworkers (Edwards & Palsson 2000b) is employed to identify the smallest set of enzymatic reactions capable of supporting given targets on the growth rate for either a glucose, an acetate, or a complex substrate. This flux balance analysis (FBA) model incorporates 454 metabolites and 720 reactions including the glycolysis, tricarboxylic acid (TCA) cycle, pentose phosphate pathway (PPP), and respiration pathways along with synthesis routes for the amino acids, nucleotides, and lipids. Growth is quantified by adding an additional reaction to the model simulating a drain on the various components of E. coli biomass in their appropriate biological ratios. F. C. Neidhardt, Escherichia coli and Salmonella: Cellular and Molecular Biology, ASM Press ed. Washington, D.C., 1996. By associating a gene to each metabolic reaction in the network, gene activations and inactivations are incorporated into the FBA model using logic 0-1 binary variables. The problem of minimizing the number of active metabolic reactions required to meet specific metabolic objectives (i.e., growth rates) is shown to assume the mathematical structure of a generalized network flow problem where nodes denote metabolites and connecting arcs represent reactions. Alternatively, instead of a biomass target, minimum levels of ATP production or lowest allowable levels of key components/metabolites could readily be incorporated in the model. A mixed-integer linear programming (MILP) solver, CPLEX 6.5 accessed via GAMS, is employed to solve the resulting large-scale combinatorial problems with CPU times ranging from minutes to days.

Based on the E. coli model, the minimal reaction network is explored for different growth requirements under two contrasting uptake environments (i) restricting the uptake of organic material to a single organic component and (ii) allowing the uptake of any organic metabolite with a corresponding transport reaction. These two extreme uptake scenarios were chosen to model maximum and minimum reliance on internal metabolism for component synthesis respectively, and probe their effect on the minimum reaction set required. Previous attempts utilized reductionist methodologies to extract the set of essential genes through a series of gene knockouts. Here we use an efficient computational procedure for selecting the minimal set by simultaneously considering the effect of all reactions on cell growth. A minimal gene set is then be inferred by mapping the enzyme(s) catalyzing these reactions to the corresponding coding genes. While the obtained results are, in principle, dependent on the specifics of the employed flux balance E. coli model (Edwards & Palsson 2000), they still provide valuable insight and perspective to the questions of what is the minimal genome and how is it shaped by the environment.

9.1 Results

The first case study involves identifying the minimal reaction set supporting E. coli growth on a glucose substrate. A detailed description of the employed modeling procedure is provided in the appendix. A constrained amount of glucose (<10 mmol/gDW·hr), along with unconstrained uptake routes for inorganic phosphate, oxygen, sulfate, and ammonia are enabled to fuel the metabolic network. Secretion routes for every metabolite capable of exiting the cell are also provided. Under these conditions, the FBA model predicts that the E. coli reaction network is capable of achieving a maximum theoretical growth rate of 0.966 g biomass/gDW·hr, which we will refer to as the maximum growth rate (MGR). By requiring the reaction network to match the MGR we determined that at least 234 reactions out of 720 are required for maximum growth on glucose.

The growth demands are then relaxed in subsequent studies to identify the minimal number of metabolic reactions required to meet various sub-maximal growth demands (% of MGR). Interestingly, the number of necessary metabolic reactions decreases only mildly with the falling growth demands imposed on the network as indicated by FIG. 21. While a reaction set comprised of 234 reactions is needed for maximum growth, the minimal reaction set corresponding to growth rates of 30% and lower involves only 224 reactions. The same minimal reaction set persists even for growth rates as low as 0.1% of the MGR. In general, the reaction set reductions are attained by successively eliminating energy producing reactions occurring in (i) glycolysis, (ii) the TCA cycle, and (iii) the pentose phosphate pathway as the growth demands are lessened. However, certain reactions absent at higher growth rates enter the minimal sets at lower growth rates suggesting a much more complex mechanism of flux redirection than successive reaction elimination. A detailed description of the reactions entering/leaving the minimal reaction set as the imposed growth requirements are lowered is provided in the table of FIG. 22.

For comparison, a similar study enabling a constrained amount of acetate (<30 mmol/gDW·hr) to enter the network instead of glucose was performed (see FIG. 21). Here the network is much less tolerant of reaction set reductions than in glucose study. While for a glucose substrate the minimal network sizes decrease from 234 to 224 reactions as the growth demands are lowered, for an acetate substrate the network sizes reduce only from 231 to 229 reactions. This implies that the minimal reaction set size is not only dependent on the imposed biomass production requirements, but also on the specific choice for the single substrate.

It is important to note that neither the minimal reaction sets nor their corresponding reaction fluxes are unique. For example, for the 30% glucose uptake case we identified over 100 different minimal reaction sets containing exactly 224 enzymatic reactions without even counting the multiplicities associated with the 171 isoenzymes present in the network. Among most of these multiple minimal reaction sets, the activity and flux directions of the major pathways differ very little. Most variations are concentrated on the catabolic parts of the networks. For instance, while some minimal reaction sets secrete carbon dioxide, acetate, and fumarate as the only metabolic byproducts, other sets may also secrete varying amounts of formate, glycerol, and the amino acids phenylalanine and tyrosine. These results provide a computational confirmation of the astounding redundancy and flux redirection versatility of the E. coli network. More importantly, all minimal reactions sets identified include 11 of 12 reactions whose corresponding gene deletions were determined experimentally to be lethal for growth on glucose. Earlier analyses based on single gene deletions conducted with this model using linear optimization identified only 7 of 12 lethal gene deletions motivating the importance of considering simultaneous gene deletions within an MILP framework.

In the second case study, the uptake or secretion of any organic metabolite is enabled. The amount of organic material entering the network is kept consistent with the first case study by allowing the uptake of a constrained amount of carbon atoms (<60 mmol/gDW·hr). Unconstrained uptake routes for oxygen, inorganic phosphate, sulfate, and ammonia are also provided as in the first study. Under these “ideal” uptake conditions, we find that a maximum growth rate (MGR) of 1.341 g biomass/gDW·hr is attainable requiring at least 201 metabolic reactions. The fact that only five amino acids are imported under maximum growth (i.e., MGR) conditions indicates that it is stoichiometrically more favorable to produce most amino acids internally rather than transport them into the cell from the medium.

This trend, however, is quickly reversed as the growth rate requirement is reduced. This reversal yields a corresponding sharp decrease in the total number of required reactions as a direct result of the importation of an increasing number of metabolites at sub-maximum target growth demands. The table of FIG. 23 lists the metabolites uptaken or secreted at each target growth rate, while FIG. 24 (100%−90% of MGR) and FIG. 25 (100%−1% of MGR) illustrate the number of required metabolic reactions needed to attain various target growth demands. The rapid reduction in size of the minimal reaction sets by importing an increasing number of metabolites as the biomass demands are lessened (see FIG. 23) continues until the growth demands are reduced to about 90% from the MGR. Below this growth target (see FIG. 25) additional but modest reductions are achieved primarily through flux redirections. FIG. 26 summarizes the reactions which are being removed or added to the minimal reaction set as the growth target is successively lowered. The smallest minimal reaction network for the second case study, comprised of 122 reactions, is reached when the target growth demands are lowered to 10% of the MGR. This minimal network is comprised mostly of cell envelope and membrane lipid biosynthetic reactions, along with a number of transport and salvage pathway reactions, as shown in FIG. 27. As in the glucose-only study, multiple minimal reaction sets for multi-organic uptake case are expected.

9.2 Discussion

In this study, we have identified the minimum number of E. coli metabolic reactions capable of supporting growth under two different uptake environments (i) a glucose or acetate-only uptake environment and (ii) free uptake or secretion of any organic metabolite involving a corresponding transport reaction. The obtained results quantitatively demonstrate that minimal reaction sets and thus corresponding minimal gene sets are strongly dependent on the uptake opportunities afforded by the growth medium. While an E. coli cell grown on a medium containing only glucose or acetate requires at least 224 or 229 metabolic reactions respectively to support growth, a cell cultured on a rich optimally engineered medium could theoretically support growth with as few as 122 metabolic reactions. In addition, the choice of the single substrate affects the minimal reaction set size and composition. As expected, the minimal reaction set becomes larger by increasing the required growth rate. However, the magnitude of this increase is quite different for the examined cases. While in case (i) the minimal reaction set increases only from 224 to 234 to meet the maximum growth rate on glucose and from 229 to 231 for acetate growth, in case (ii) the minimal reaction set almost doubles going from 122 to 201. Another significant observation is the large redundancy of the E. coli metabolic network, which is capable of supporting growth utilizing only 31% of the available metabolic reactions for growth on glucose, and only 17% of the available reactions for growth on a complex medium. Even these reduced minimal reaction network sets exhibit large multiplicities. Specifically, a non-exhaustive list of 100 alternative minimal reaction sets were identified for the glucose-only uptake case.

It must be noted that our analysis provides a species-specific minimal metabolic reaction set, which is a subset of the complete E. coli minimal genome. This is a consequence of the adopted reaction-based analysis which cannot account for genes associated with translation, replication, recombination, repair, transcription, and genes of unknown function. A comparison of our minimal metabolic reaction set with the essential gene set of Hutchison et al. and the minimal gene set proposed by Mushegian and Koonin in their studies with Mycoplasma genitalium is provided in FIG. 28. The obtained results agree conceptually with the finding of Hutchison and coworkers (2) that limited metabolic capacity can be compensated for by a proportionately greater dependence on the importation of nucleosides, amino acids, and other metabolites. Although a complete genome-based reconstruction of the M. genitalium metabolic network is currently unavailable preventing a reaction-by-reaction comparison, the distributions of metabolic genes/reactions among the various functional classifications in the three studies are quite similar. Thus, perhaps the simultaneous reaction removal strategy applied to E. coli in this work parallels the evolutionary pressures placed on M genitalium to reduce its genome size. The minimal reaction set size overestimation in our analysis may be largely due to its species-specific nature. Whereas the cellular envelope of E. coli contains a cell wall made up largely of peptidoglycan, the cellular envelope of mycoplasmas lacks a cell wall. Thus many of the cellular envelope reactions necessary for E. coli survival are not included in the genes sets of Hutchison et al. and that of Mushegian and Koonin. Another contributing factor is that we assign a different reaction/gene to the uptake or secretion of each metabolite although similar metabolites can be transported by mechanisms associated with a single gene. Furthermore, since our analysis is based on the E. coli model, more efficient reaction combinations, perhaps occurring in non-E. coli species, could further reduce the minimal gene set lowering the discrepancy.

This framework can be utilized to construct minimal reaction sets for additional species. By contrasting these minimal sets it could be inferred how minimal reaction sets (metabolic gene sets) compare along different evolutionary branches. Specifically, minimal reaction sets for M genitalium and H. influenza could be determined and benchmarked with earlier studies. Additionally, a species independent minimal metabolic reaction set can be pursued by lumping reactions occurring in many different species within a Universal stoichiometric matrix (15,16). As more elaborate models are developed describing elementary functions of minimal cells, more detail can be added to the model. Apart from utilizing this MILP framework for rationally identifying “minimal” metabolic networks, it can also be used to predict in silico lethal gene deletions for different organisms and uptake environments. By identifying lethal gene deletions for pathogenic microbes (e.g., H. pylori), a ranked list of promising targets for therapeutic intervention (i.e., interruption of gene expression) can be compiled. Even though the proposed computational procedure is dependent upon the assumptions of the adopted FBA model, it affords the versatility to study different uptake/secretion environments as well as encompass reaction sets from multiple species in the search for the minimal genome.

9.3 Modeling and Computational Protocol

Flux balance analysis relies on the stoichiometry of biochemical pathways and cellular composition information to identify the flux distributions potentially available to the cell. For a metabolic network comprised of N metabolites and M metabolic reactions we have,

${\frac{\mathbb{d}X_{i}}{\mathbb{d}t} = {\sum\limits_{j = 1}^{M}\;{S_{ij}v_{j}}}},{i = 1},\ldots\mspace{11mu},N$ where X_(i) is the concentration of metabolite i, S_(ij) is the stoichiometric coefficient of metabolite i in reaction j, and ν_(j) represents the flux of reaction j. Typically, the resulting system of equations is underdetermined (the number of reactions exceeds the number of metabolites). The maximization of growth rate is sometimes employed as a surrogate for cell fitness. The key assumption is that the cell is capable of spanning all flux combinations allowable by the stoichiometric constraints and thus achieving any flux distributions that maximize a given metabolic objective. This may overestimate the region of accessible fluxes by neglecting kinetic and/or regulatory constraints. The optimization model (linear programming) for maximizing biomass production or equivalently growth rate (assuming a 1 gDW·hr basis) is:

Maximize  Z = v_(biomass) $\mspace{110mu}{{{\sum\limits_{j = 1}^{M}\;{S_{ij}v_{j}}} = b_{i}},{i = 1},\ldots\mspace{11mu},N}$ ⁢v j ∈ + , j = 1 , … ⁢ , M ⁢ ⁢ ⁢ b i ∈ , i = 1 , … ⁢ , N where ν^(biomass) is the corresponding reaction flux comprised of all necessary components of biomass in their respective ratios. One gram of biomass is produced per unit flux of ν_(biomass). Variable b_(i) quantifies the uptake (negative sign) or secretion (positive sign) of metabolite i. In case (i), only ammonia, glucose, oxygen, phosphate, and sulfate are allowed to have a negative value for b_(i) and any metabolite with a transport reaction out of the cell can be secreted, while in case (ii) all organic metabolites can be imported. In this study we explore what is the minimum number of metabolic reactions capable of maintaining maximum and sub-maximal levels of biomass production. By mapping reactions to their corresponding genes a connection between biomass production and gene expression is established. The presence/absence of reactions, and therefore genes, is described mathematically by incorporating logic 0-1 variables into the flux balance analysis framework. These binary variables,

$y_{j} = \left\{ {\begin{matrix} 1 \\ 0 \end{matrix}\mspace{14mu},{j = 1},\ldots\mspace{11mu},M} \right.$ j=1, . . . ,M assume a value of one if reaction j is active and a value of zero if it is inactive. The following constraint, ν^(min) _(j) ·y _(j)≦ν_(j)≦ν^(max) _(j) ·y _(j) , j=1, . . . ,M ensures that reaction flux ν_(j) is set to zero when no gene coding for the enzyme catalyzing reaction j is present and functional. Alternatively, when such a gene is active, ν_(j) is free to take values between a lower bound^(min) _(j) and an upper bound^(max) _(j). The mixed-integer linear programming problem of minimizing the total number of functional reactions in the network capable of meeting a target for biomass production ν^(target) _(biomass) is as follows:

${{Minimize}\mspace{14mu} Z} = {\sum\limits_{j = 1}^{M}\; y_{j}}$ ${{{subject}\mspace{14mu}{to}\mspace{14mu}{\sum\limits_{j = 1}^{M}\;{S_{ij}v_{j}}}} = b_{i}},{i = 1},\ldots\mspace{11mu},N$         v_(biomass) ≥ v_(biomass)^(target)         v_(j)^(min) ⋅ y_(j) ≤ v_(j) ≤ v_(j)^(max) ⋅ y_(j), j = 1, …  , M         y_(j) ∈ {0, 1}, j = 1, …  , M ⁢ v j ∈ + , j = 1 , … ⁢ , M ⁢ ⁢ ⁢ b i ∈ , i = 1 , … ⁢ , N

The above MILP belongs to the class of generalized network problems. Here each metabolite constitutes a node and each reaction represents an arc in the network.

The presence of over one thousand binary variables causes the problem to become computationally intractable for some instances. In particular, the computational burden increases for lower biomass targets and it is much greater for case (ii) than case (i) due to the added complexity associated with multiple uptakes. To alleviate the computational burden, four preprocessing techniques are employed: (i) isoenzyme grouping, (ii) futile cycle exclusion, (iii) flux bounds generation, and (iv) connectivity constraint addition. Isoenzyme grouping refers to the aggregation of the 171 reactions catalyzed by isoenzymes. Reactions differing only in the catalyzing enzyme (i.e., isoenzymes) are grouped together treating all isoenzymes as a single reaction. This reduces complexity by pruning the total number of binary variables. Futile cycle exclusion addresses the removal of sets of reactions (2 or more) which collectively recycle fluxes in a loop without any net effect on metabolism. A special case is reversible reactions with nonzero fluxes for both directions. In general, a set K composed of K reactions forms a futile cycle if

${{\sum\limits_{j \in \kappa}\; S_{ij}} = 0},{i = 1},\ldots\mspace{11mu},N$ The following constraint ensures that at least one of them will be inactive breaking the cycle.

${\sum\limits_{j \in \kappa}\; y_{j}} \leq {K - 1}$ Overall, 346 futile cycles were identified and eliminated from the model. Most of the futile cycles involved simply reversible reactions.

The solution time of the resulting MILP problems is highly dependent on the tightness of the imposed lower^(min) _(j) and upper^(max) _(j) bounds on the fluxes ν_(j). Tight bounds ^(min) _(j) and ^(max) _(j) are obtained by minimizing and maximizing respectively, every single reaction flux ν_(j) subject to the flux balance constraints and the biomass target specification.

Maximize/Minimize  v_(j^(*)) ${{{subject}\mspace{14mu}{to}\mspace{14mu}{\sum\limits_{j = 1}^{M}\;{S_{ij}v_{j}}}} = b_{i}},{i = 1},\ldots\mspace{11mu},N$        v_(biomass) ≥ v_(biomass)^(target) ⁢ v j ∈ + , j = 1 , … ⁢ , M ⁢ ⁢ ⁢ b i ∈ , i = 1 , … ⁢ , N

This is a linear programming (LP) problem (no binary variables) and is quickly solved (i.e., less than a few seconds) for all cases. Note that different bounds are generated for different biomass targets, and the higher the biomass target is, the tighter the obtained bounds are.

Connectivity constraints are also added to ensure that if a reaction producing an intracellular metabolite is active, then at least one reaction consuming this metabolite must be active and vice versa. In addition, if a reaction transporting an extracellular metabolite into the cell is active, then at least one intracellular reaction consuming this metabolite must be active and vice versa. These relations are incorporated in the model as follows after partitioning the reaction set J into two subsets: J_(int) representing intracellular reactions and J_(trans) representing reactions transporting metabolites to and from the cell. The metabolite set I is also partitioned into two subsets with I_(int) and I_(ext) representing intracellular and extracellular metabolites respectively.

$\begin{matrix} {{y_{j^{\prime}} \leq {\sum\limits_{\underset{j \in J}{S_{ij} < 0}}\;{y_{j}{\forall{i \in I_{int}}}}}},{\forall{j^{\prime} \in \left\{ {j❘{S_{ij} > 0}} \right\}}}} & (10) \\ {{y_{j^{''}} \leq {\sum\limits_{\underset{j \in J}{S_{ij} > 0}}\;{y_{j}{\forall{i \in I_{int}}}}}},{\forall{j^{''} \in \left\{ {j❘{S_{ij} < 0}} \right\}}}} & (11) \\ {{y_{j^{\prime}} \leq {\sum\limits_{\underset{j \in J_{trans}}{S_{ij} < 0}}{y_{j}{\forall{i \in I_{ext}}}}}},{\forall{j^{\prime} \in \left\{ {j❘{S_{ij} > 0}} \right\}}}} & (12) \\ {{y_{j^{''}} \leq {\sum\limits_{\underset{j \in J_{trans}}{S_{ij} > 0}}{y_{j}{\forall{i \in I_{ext}}}}}},{\forall{j^{''} \in \left\{ {j❘{S_{ij} < 0}} \right\}}}} & (13) \end{matrix}$

These connectivity constraints are also employed to identify the smallest set of reactions capable of ensuring adequate connectivity between the external metabolites and the components of biomass. This problem involves minimizing

$\sum\limits_{j}y_{j}$ subject to constraints (10-13) with an active biomass reaction, y_(biomass)=1.

The iterative generation of the multiple minimal reaction sets is achieved by accumulating integer cuts and resolving the MILP formulation. Each integer cut excludes one previously found solution. For example, solution y_(j)* is excluded from consideration by adding the following integer cut:

${{\sum\limits_{{jy}_{j^{*}} = 1}y_{j}} + {\sum\limits_{{jy}_{j^{*}} = 0}\left( {1 - y_{j}} \right)}} \leq {M - 1}$

All optimization problems are solved using CPLEX 6.5 accessed through the modeling environment GAMS on an IBM RS6000-270 workstation. The total cumulative CPU expended for this study was in the order of 400 hours.

10. Options and Variations

The present invention contemplates any number of ways in which the modeling framework of the present invention can be applied to solve metabolic network problems. The framework of the present invention uses a systematic approach to improve upon flux balance models using qualitative information such as can be used to define logic constraints. This information can include qualitative kinetic information constraints, qualitative regulatory information constraints, differential DNA microarray experimental data constraints, and other logic constraints.

The modeling framework of the present invention can be applied to solve various metabolic problems. This includes determining the effect of gene additions and/or deletions, determining optimal gene additions, determining lethal gene deletions, determining minimal reaction sets as well as determining other metabolic manipulations. These and other problems may included requirements of a particular growth rate, certain environmental conditions, or other conditions.

As the modeling framework of the present invention is in silico, it is not limited in any way to a particular organism. The present invention contemplates that any number of organisms can be modeled. The spirit and scope of the invention should be construed broadly to include all that is claimed and any equivalents thereof. 

1. A method for modeling cellular metabolism of an organism, comprising: constructing on a computer a flux balance analysis model utilizing stoichiometric mass balances of metabolic and cellular composition information of the organism to identify stoichiometric boundaries for available flux distributions of a metabolic network; applying logic constraints comprising a regulation matrix to the flux balance analysis model to produce an altered flux balance analysis model, wherein said logic constraints constrain one of said identified stoichiometric boundaries for one of said available flux distributions, wherein said altered flux balance analysis model has improved predictive capabilities of cellular metabolism of the organism over said flux balance analysis model and thereby provides a model of cellular metabolism of the organism; and providing an output to a user of said available flux distribution having said constrained stoichiometric boundary.
 2. The method of claim 1 wherein the logic constraints are capable of protecting against violation of a kinetic barrier.
 3. The method of claim 1 wherein the logic constraints further include a set of connectivity restraints.
 4. The method of claim 1 further comprising the step of applying mixed-integer linear programming to said altered flux balance analysis model having improved predictive capabilities to solve for a desired metabolic outcome.
 5. The method of claim 1 further comprising the step of solving for a desired metabolic outcome.
 6. The method of claim 1 wherein the logic constraints further include qualitative regulatory information constraints.
 7. The method of claim 6 wherein the logic constraints protect against violation of a regulatory barrier.
 8. The method of claim 1 wherein the logic constraints further include DNA microarray experimental data constraints.
 9. A method for modeling cellular metabolism of an organism that improves upon a flux balance analysis model, comprising: constructing on a computer the flux balance analysis model utilizing stoichiometric mass balances of metabolic and cellular composition information of the organism to identify stoichiometric boundaries for available flux distributions of a metabolic network; applying a plurality of logic constraints comprising a regulation matrix to the flux balance analysis model to produce an altered flux balance analysis model, wherein said plurality of logic constraints constrain one of said identified stoichiometric boundaries for one of said available flux distributions, wherein said altered flux balance analysis model has improved predictive capabilities of cellular metabolism of the organism over said flux balance analysis model and thereby provides a model of cellular metabolism of the organism; and providing an output to a user of said available flux distribution having said constrained stoichiometric boundary.
 10. The method of claim 9, further comprising selecting the set of logic constraints to protect against violation of a kinetic or regulatory barrier.
 11. The method of claim 9 wherein the logic constraints are defined by a relationship between changes in reaction fluxes and metabolic concentrations.
 12. The method of claim 9 wherein the logic constraints are represented by binary variables.
 13. The method of claim 12 wherein a first binary variable represents the presence of a reaction and a second binary variable represents the absence of a reaction.
 14. The method of claim 9 further comprising applying a computational procedure to identify a minimal set of metabolic reactions.
 15. The method of claim 14 further comprising selecting a growth rate, and wherein the step of applying a computational procedure is applying a computational procedure to identify the minimal set of metabolic reactions capable of supporting the growth rate.
 16. The method of claim 9 further comprising the step of applying mixed-integer linear programming to said altered flux balance analysis model having improved predictive capabilities to solve for a desired metabolic outcome.
 17. The method of claim 9 further comprising the step of solving for a desired metabolic outcome.
 18. The method of claim 17 further comprising engineering a change in an organism to produce the desired metabolic outcome.
 19. A system for modeling cellular metabolism of an organism, comprising: a flux balance analysis model utilizing stoichiometric mass balances of metabolic and cellular composition information of the organism to identify stoichiometric boundaries for available flux distributions of a metabolic network; a plurality of logic constraints comprising a regulation matrix applied to the flux balance analysis model, the logic constraints selected from the set consisting of qualitative kinetic information constraints, qualitative regulatory information constraints, and differential DNA microarray experimental data constraints; and commands for execution on a computer for producing an altered flux balance analysis model wherein said plurality of logic constraints constrain one of said identified stoichiometric boundaries for one of said available flux distributions, wherein said altered flux balance analysis model has improved predictive capabilities of cellular metabolism of the organism over said flux balance analysis model and thereby provides a model of cellular metabolism of the organism.
 20. The system of claim 19, wherein said constraints comprise qualitative kinetic information constraints.
 21. The system of claim 19, wherein said constraints comprise qualitative regulatory information constraints.
 22. The system of claim 19, wherein said constraints comprise differential DNA microarray experimental data constraints.
 23. A method for modeling cellular metabolism of an organism, comprising: constructing on a computer a flux balance analysis model of a metabolic network of the organism; applying constraints to the flux balance analysis model, wherein the constraints include qualitative kinetic information constraints, qualitative regulatory information constraints, differential DNA microarray experimental data constraints, or a combination thereof; producing an altered flux balance analysis model wherein said constraints constrain a stoichiometric boundary for an available flux distribution, wherein said altered flux balance analysis model has improved predictive capabilities of cellular metabolism of the organism over said flux balance analysis model and thereby provides a model of cellular metabolism of the organism; and providing an output to a user of said available flux distribution having said constrained stoichiometric boundary.
 24. The method of claim 23 wherein the constraints include logic constraints to protect against violation of a regulatory barrier.
 25. The method of claim 23 wherein the constraints further include connectivity restraints.
 26. The method of claim 23 further comprising applying mixed-integer linear programming to said altered flux balance analysis model having improved predictive capabilities to solve for a desired metabolic outcome.
 27. The method of claim 23 further comprising solving for a desired metabolic outcome.
 28. The method of claim 23, wherein said constraints include qualitative kinetic information constraints.
 29. The method of claim 23, wherein said constraints include qualitative regulatory information constraints.
 30. The method of claim 23, wherein said constraints include differential DNA microarray experimental data constraints.
 31. A method for modeling cellular metabolism of an organism that improves upon a flux balance analysis model, comprising: constructing on a computer the flux balance analysis model utilizing stoichiometric mass balances of metabolic and cellular composition information of the organism to identify stoichiometric boundaries for available flux distributions of a metabolic network; applying a plurality of logic constraints comprising a regulation matrix to the flux balance analysis model to produce an altered flux balance analysis model, wherein said plurality of logic constraints constrain one of said identified stoichiometric boundaries for one of said available flux distributions, wherein said altered flux balance analysis model has improved predictive capabilities of cellular metabolism of the organism over said flux balance analysis model; applying mixed-integer linear programming to said altered flux balance analysis model having improved predictive capabilities to solve for a desired metabolic outcome of the altered flux balance analysis model, thereby modeling cellular metabolism of the organism; and providing an output to a user of the application of mixed-integer linear programming to solve for a desired metabolic outcome.
 32. The method of claim 31 further comprising the step of solving for the desired metabolic outcome.
 33. The method of claim 32 further comprising engineering a change in the organism to produce the desired metabolic outcome.
 34. A method for modeling cellular metabolism of an organism, comprising: constructing on a computer a flux balance analysis model using stoichiometric mass balances of metabolic and cellular composition information of the organism to identify stoichiometric boundaries for available flux distributions of a metabolic network; determining logic constraints comprising a regulation matrix to apply to the flux balance analysis model, the logic constraints based on qualitative relationships between changes in reaction fluxes and changes in metabolite concentrations; applying the logic constraints to the flux balance analysis model to produce an altered flux balance analysis model, wherein said logic constraints constrain one of said identified stoichiometric boundaries for one of said available flux distributions, wherein said altered flux balance analysis model has improved predictive capabilities of cellular metabolism of the organism over said flux balance analysis model and thereby provides a model of cellular metabolism of the organism; and providing an output to a user of said available flux distribution having said constrained stoichiometric boundary. 